Prognyelvek portál

Termek

A Stratego műveleteit termeken végzi; ezeket az Annotated Term Format (ATerm) szerint jelölhetjük. Egy term a következő szabályok rekurzív alkalmazásával keletkezik:

Az egészek termek. Egy egész szám tízes számrendszerbeli számjegyek véges nemüres sorozata. Például: 12345
A sztringliterálok termek. Egy sztringliterál két " közötti karakterek sorozata. A speciális karaktereket a \ jellel escapeelhetjük. Ezek a speciális karakterek az általánosan használt \n, \r, \\, \" jelek. Például: "Ez egy \"sztring\"\n"
Konstruktorral nulla vagy több termből új termet hozhatnk létre. A konstruktor egy azonosító, azaz alfanumerikus szöveg, ami betűvel kezdődik. A konstruktor után zárójelben, vesszővel elválasztva sorolhatjuk fel a közvetlen résztermeket. Például: Var("a",4)
Lista képezhető nulla vagy több termből; ezeket a termeket tekintjük a lista közvetlen résztermjeinek. A lista legegyszerűbb jelölése: szögletes zárójelek között vesszővel elválasztott termek. Például: [Var("a",5),Plus(Var("a"),Var("b")]
Lista képezhető egy vagy több termből és egy listából. Ekkor a termeket felsoroljuk és a lista folytatását egy | jel után adjuk meg. Például: [Int(5),Int(9)|[Int(1)]]. Ennek a jelölésnek igazi jelentősége mintaillesztések esetén van; ekkor funkcionális stílusban, láncolt listaként kezelhető a lista. Azonban ebben az esetben is a lista elemeit - a példában Int(5), Int(9), Int(1) - tekintjük közvetlen résztermeknek, s nem a láncolt reprezentációjú fejelemet és folytatást.
Rendezett n-es (tuple) képezhető egy vagy több termből. Jelölése: zárójelek között vesszővel elválasztva felsorolva a közvetlen résztermek. Például: ("a",Var("a",5))
Annotációkkal jelölhető egy nem-annotált term; ezt általában szemantikus információ tárolására használjuk. Egy annotáció termek egy listája; kapcsos zárójelek között termek vesszővel elválasztott felsorolása.

Továbbá kötött változó felhasználható (rész)termként term konstrukciója során.

Minták

A nyelv alapvető művelete a mintaillesztés. Mintát a term-alkotáshoz hasonló módon kapunk. Minta az előzőekben megadott szabályok rekurzív alkalmazásával történik (cseréljük le a "term" szavakat "mintára"), továbbá:

A szabad változó minta. A minta sikeres illesztése után a hatáskörben a változó kötötté válik és értéke az illeszkedő részterm.
A _ (vagy joker karakter) minta és minden term illeszkedik rá.

Változók

Termek konstrukciójához felhasználhatunk változókat is. A változónevek tetszőleges angol betűkkel kezdődnek és angol betűk, számok, _, ', - jelek alkothatják _{(a lista lehet, hogy nem teljes, mivel a dokumentációban nincsenek a jelek felsorolva)}. Például: alma, Kor, a', b-c-d

Hatókörök

A változók csak egy adott hatókörben érvényesek. Változó alapértelmezett hatóköre a változó feletti első elnevezett stratégia. Egy hatókörben egy változóhoz legfeljebb egy értéket rendelhetünk. Ha egy változó már kötött és egy a kötött értéktől különböző értéket kívánunk hozzá kötni, a kötés sikertelen.

Ha változókat csak egy helyi hatáskörben kívánunk használni, úgy al-hatáskört hozhatunk létre. A { és } jelek közötti kódrészleten belül kötötté váló változók a blokkon kívül szabadok.

További jelek

A műveletek zárójelezhetők; a zárójelpár a megszokott ( ).

A nyelv kulcsszavai a következők _{(a lista lehet, hogy nem teljes, mivel a dokumentációban nincsenek a kulcsszavak szisztematikusan felsorolva)}: constructors, else, end, exports, fail, if, imports, module, not, rules, signature, strategies, then, where, with. A kulcsszavak nem fogalaltak; azaz - ha az kétértelműséget nem okoz - e szavak használhatóak azonosítóként.

A nyelv blokkszerkezetűnek tekinthető, de a blokkok vége - ahol az egyértelmű - nem jelzett semmilyen kulcsszóval. A fehér szóköz jelentéktelen.

Speciális operátorok: :, ->, <+, <, +, =>.

Megjegyzések

A C++-hoz hasonló a megjegyzések szintaxisa:

Minden sor // jel utáni részét figyelmen kívül hagyja a fordító.
Többsoros megjegyzés a /* jellel kezdődik és a */ jellel végződik. Ilyen megjegyzések egymásba nem ágyazhatóak, azaz
- a /* ez egy /* jelet tartalmazó megjegyzés */ helyes megjegyzés
- a /* ez egy /* megjegyzést */ tartalmazó megjegyzés */ szintaktikai hiba, mivel az első */ jel az egész megjegyzést lezárja.