Hallo, ich bin langsam am Verzweifeln. Suche seit Montag eine vernünftige Doku für SWI-Prolog und Definition von Operatoren. Folgendes Problem: Wir sollen zwei Zahlen mit Hilfe einer Funktion addieren. Diese Funktion wandelt die nat. Zahlen in peano - Zahlen um, addiert diese im peano-System und wandelt das Ergebnis in eine nat. Zahl zurück. Die Funktion hab ich geschrieben und funktioniert: Zitat: „add(X,Y,Z) :- num2peano(X,A),num2peano(Y,B), add3(A,B,C), peano2num(C,Z).“ Ist ja alles nicht so …