Reasoner example created by nlp.py

Allikas: Lambda
Redaktsioon seisuga 17. aprill 2019, kell 10:15 kasutajalt Tammet (arutelu | kaastöö) (Uus lehekülg: '<pre> cfather(cJohn,cAndrew). cman(cAndrew). -cfather(X1,cAndrew) | ans(X1). </pre>')
(erin) ←Vanem redaktsioon | Viimane redaktsiooni (erin) | Uuem redaktsioon→ (erin)
Mine navigeerimisribale Mine otsikasti
cfather(cJohn,cAndrew).
cman(cAndrew).
-cfather(X1,cAndrew) | ans(X1).