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?

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.