Syntax jazyka MSL je ovplyvnená štruktúrou vnútorného databázového systému jazyka Visual Prolog. Tento jazyk bol vyvinutí ako provizórny. Posledný vývoj paradigmy "Logic Modeling" priniesol tlak na užitočnosť logickej syntaxe, ale predtým by bolo žiadúce vyvinúť sériu príkladov logicky založených modelov ekosystému, ktoré by pomohli identifikovať oblasť potreby, s ktorou sa musí paradigma "Logic Modeling" stretnúť.
Jazyk MSL používa tieto dátové typy:
Celočíselné typy
integer
short
long
ulong
Reálne typy
real
Reťazcové typy
symbol
string
Komplexné typy
modálny operátor
konjunkcia
term
Premenné
Jazyk MSL podporuje dva typy premenných. Premenné, ktoré sú použité pre agentov v definícii schém a tabuľky pravidiel a časové premenné, ktoré sú použité na označenie časového momentu vo vzorkách.
MSL nepodporuje žiadnu bodkovú notáciu pre oddelenie príkazov.
Napriek tomu, že jazyk MSL má silný typový systém, nie je žiadne miesto v modeli, kde by sme mohli definovať vlastné typy. Jazyk MSL má svoj vlastný slovník predefinovaných termov s predefinovanými typmi argumentov. Pri používaní termu si jeho syntax musí užívateľ uvedomiť, alebo konzultovať so súborom pomocníka v procese vývoja modelu.
Tento pomocník poskytuje popis všetkých predefinovaných termov, ktoré môžu byť použité v špecifikácii modelu. Počas nasledujúcich kapitol budeme používať kľúčové slovo nondeterm na označenie termov, ktoré môžu vystúpiť niekoľkokrát (s rôznymi parametrami), ale musia vystúpiť aspoň raz. Kľúčové slovo determ označuje termy, ktoré môžu v definícii vystúpiť iba raz, alebo ani raz. Kľúčové slovo compulsory N označuje term, ktorý sa musí v definícii vyskytovať práve N-krát.
Každý argument komplexného termu patrí určitej doméne. Pre špecifikáciu termov a domén sme v tomto manuáli použili nasledovnú notáciu.
KEYWORD je jedno z označení determ, nondeterm, compulsory N.
Spracoval: Dudy