Suchergebnisse für Anfrage "logical-purity"
Eigenschaften eines guten Prolog-Codes? [geschlossen
Was sind die Designheuristiken, die man beherrschen muss, um einen guten Prolog zu schreiben? Ich habe gehört, dass ein erfahrener Programmierer ungefähr zwei Jahre braucht, um sich mit Prolog auskennen zu können. Rekursion effektiv einzusetzen ...
Logische Reinheit von when / 2 und ground / 1
Die Frag Ich habe eine Frage zur logischen Reinheit. Ist dieses Programm rein? when(ground(X), X > 2).Einige [ir] relevante Details zum Kontext Ich versuche reine Prädikate mit guten Terminationseigenschaften zu schreiben. Zum Beispiel ...
Welche Verwendung hat if_ / 3?
Das Prädikatif_/3 [https://stackoverflow.com/questions/27358456/prolog-union-for-a-u-b-u-c/27358600#27358600] scheint zu sein sehr beliebt [https://stackoverflow.com/search?q=%5Bprolog%5D+if_] unter den wenigen Hauptverursachern im Prolog-Teil ...
Deklarative Verwendungen von memberchk / 2
memberchk/2 ist ein allgemein definiertes Prädikat, das definiert ist alsmember/2 wie so: memberchk(X, Xs) :- once(member(X, Xs)).Es gelingt also nur bei der ersten Antwort vonmember/2. Ihre volle prozedurale Bedeutung passt nicht in eine ...
Was bedeutet "logische Reinheit" in Prolog?
Was bedeutet "logische Reinheit" (im Kontext der Prolog-Programmierung)? Das logische Reinheit [/questions/tagged/logical-purity] tag info sagt "Programme, die nur Horn-Klauseln verwenden", aber wie würden Prädikate ...