Most ahogy a swi-prolog-ot nézem a githubon, egy derék Pistike éppen szétverte az egészet, de talán majd összerakja egyszer.
Legjobb ötletem, hogy itt visszafelé haladva keresek egy fordítható állapotot.
(Ja és még mindig telepíthetem a debian bináris csomagjából, azért van az `ar` vagy pláne az `alien`).