---
title: "Prolog problem"
type: "forum-thread"
url: "https://www.webforum.nu/amne/programmering/113203-prolog-problem"
topic: "Programmering"
topic_url: "https://www.webforum.nu/amne/programmering"
author: "supreme"
published: "2004-10-09T13:01:28.000Z"
updated: "2004-10-09T16:29:23.000Z"
replies: 1
views: 324
page: 1
pages: 1
language: "sv-SE"
site: "webForum — webforum.nu"
rights: "Upphovsrätten till varje inlägg tillhör dess författare."
attribution: "Citera som: webForum, https://www.webforum.nu/amne/programmering/113203-prolog-problem"
---

# Prolog problem

## #1 — supreme, 2004-10-09T13:01Z

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!

Permalänk: https://www.webforum.nu/p/113203

## #2 — supreme, 2004-10-09T16:29Z

Löste problemet genom att byta till swi-prolog och använda bagoff/3 istället om det är någon som i framtiden är intresserad av detta  :e 

Har inte testat att köra detta i BProlog men det fungerar antagligen inte där.

Nu kan jag äntligen ta ledigt för denna helgen... Ahh känns redan mycke bra.

Trevlig helg på alla.  :birp

Permalänk: https://www.webforum.nu/p/1457411

---

Tråden på webben: https://www.webforum.nu/amne/programmering/113203-prolog-problem