Hejsan som titeln säger så har jag ett problem med prolog.
Har som uppgift att göra en forward och backward chaining inference engine i prolog. Har fixat så att backward fungerar men har inte klurat ut hur jag ska göra forward delen än.
Problemet är att jag har hittat ett predikat som heter forall som ska vara inbyggt i prolog, men när jag gör tester med att använda detta så säger det att det är unknown predicat /2
Använder BProlog och kan inte hitta något om att detta inte skulle fungera i BProlog så vad ska jag göra? Finns det någon annan miljö som ni vet stödjer forall predikatet?
Ska använda forall för att få fram alla regler som finns i databasen och sen kolla om dom "fiers" och isf "asserta" deras resultat! Min första tanke var att använda ; eftersom det ger alla alternativ, men detta fungerar ju bara i prompten efter som det i själva språket betyder "or"!
Tacksam för all hjälp!