Hallo minfler!
assert(regel(A,B,C)).
Vorsicht, das wird für die gesamte Laufzeit behalten, wenn du das löschen wilsst:
retract(regel(A,B,C)).
Wenn du alles löschen willst, muss irgendwie das Programm zu dem hier kommen:
deleteregel :- retract(regel(X,Y,Z)),fail.Praktisch zur verarbeitung wäre sowas:
assert(userrule([Uebergabe1,Ue2...],[[UeBedingung1,Ub2...],[2te Bedingung],...]]).
Wenn du dann rekursiv diese Listen zu einer Regel machst, gehts halt.
Achso, ich freue mich,dass mal wieder jemand mit einer Prologfrage kommt! 
Viele liebe Grüße
The User
Bitte sehr, Bei Problemen meld dich.
The User
nächste frage:
will wissen ob zb. ein buchstabe in der datenbasis vorkommt ...
meine datenbasis: zeug
mein test: check(X):-zeug(X).
mein problem: wenn ich check("a") aufrufe und a ist in Zeug dann erhalte ich ein "yes" im umkehrschluss dachte ich ok dann muss es ja ein no/fail geben wenn das "a" nicht vorkommt. Aber so wies aussieht passiert gar nix also die stelle terminiert nicht 
was mach ich falsch oder wie teste ich am besten ob die variable member der db ist ?
Hab mir bissl was zusammengestrikt und jetzt tritt hier ein bug nachm anderen auf ...^^
Mal eine ganz blöde Frage:
Warum benutzst du check und nicht einfach Zeug?
Naja, deine Sache.
Ich kann es mir eigentlich nur so erklären, dass da noch eine Regel zeug ist, die nicht terminiert.
Bei mir kein Problem mit einem einfachen Datensatz.
Viele liebe Grüße
The User
In der Datei muss eine nicht terminierende Funktion geben.
Wenn der Compiler am Ende ankommt geht er eine Ebene höher und wenn das nicht geht bricht er ab undsagt no.
Ansonsten trenn diese Regel von dem Zeug, gib ihr einen anderen Namen als den Eintrag.
Natürlich könnte da auch eine schlechte Regel check vorhanden sein.
Kennst du das '!' ?
The User