Orðskýring
á ð é í ó ú ý þ æ ö (* = hvað sem er, ? = stakur stafur) (Nánar)
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ð.
Enska: backward chaining