Tag: logical-purity
Logische Reinheit ist die Eigenschaft der Logik-Programme geschrieben werden, die nur mit Horn-Klauseln.
5
Antworten
Hab ich ein problem mit Listen. Was ich tun müssen, ist split eine Liste [1,-2,3,-4], in zwei Listen [1,3] und [-2,-4]. Mein code sieht wie folgt aus: lists(,_,_). lists([X|Xs],Y,Z):- lists(Xs,Y,Z), X>0 -> append([X],Y,Y) ; append([X],Z,Z). und ich
10
Antworten
Wahrscheinlich eine dumme Frage, aber ich finde keine Dokumentation überall. Gibt es eine Möglichkeit zu tun, wenn im prolog, z.B. wenn eine variable 0 ist, dann tun einige Aktionen (schreiben von text in das terminal). Ein anderes