Suchergebnisse

Hehe, genau das Problem was ich vor ein Paar Tagen gepostet hab. Mit dem Prädikat findall geht das ganz simpel, in Deinem Fall würde etwa der consolenaufruf: -? findall(X,maennlich(X),Z) Z = [Paul,Fritz,Karl,Karl]. Yes. ausspucken. Ich geb zu etwas zu spät

Prolog ist ein einziges Booleankonstrukt. Man sollte immer im Hinterkopf behalten das Prolog nichts weiter als ein gigantischer Backtrackingalgorithmus ist. Prolog versucht immer anhand der Wissensbasis das sogenannte Ziel zur Erfüllen. Das ist also das erste, wir müssen das Ziel definieren, in unserem Fall ist das eine Belegung einer aussagenlogischen Formel. Hier mal ein ganz simpler Code um die Formel (a und b) oder c auszuwerten und die Ergebnisse aufzuschreiben: satisfy :- member(A,[0,1]), …

Um wenigstens eine Antwort zu geben: Ja es gibt in SWI-Prolog (bei anderen ka) ein Prädikat findall(X,fakt(X,...,y_n),Z), dabei werden alle Vorkommen X in die Liste Z geschrieben, zum Beispiel: WB = bsp(a,1). bsp(a,2). -? findall(X,bsp(a,X),Z). Z = [1,2]. Yes.

Ich füge im Verlauf eines Prologprogramms dynamisch Fakten zu der Wissensbasis hinzu, und muss diese von Zeit zu Zeit zählen, meine erste Idee war etwa der art: count(X,Result) :- Fakt(X), zaehlen, fail. zaehlen sollte dann immer true sein damit er sämtliche Fakten die es bezüglich X gibt aufzählt. Aber das klappt so wohl nicht ganz , hat jemand eine Idee?