Orðskýring

Á Ð É Í Ó Ú Ý Þ Æ Ö
á ð é í ó ú ý þ æ ö
 
* er algildistákn og táknar engan (0) eða fleiri stafi eða stafbil.
? er algildistákn og táknar nákvæmlega einn staf eða stafbil.
Ef * er í leitarstreng verða að vera minnst 2 aðrir stafir.
afturvirk ályktun

Ítrekunarstefja sem stjórnar því í hvaða röð ályktanir eru dregnar með því að byrja á staðhæfingu um niðurstöðu. Til þess að kanna sanngildi staðhæfingarinnar fikrar stefjan sig aftur á bak eftir reglum kerfisins uns spurningu er svarað, áður geymd útkoma er fundin, stefjan rekur sig á mótsögn eða ljóst er að ekki er unnt að ákvarða sanngildið.