Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/03366.jsonl.gz/1841

Jekejeke Minlog Eigene CLP(*) "Kleiner Löser"
Jan Burse, erstellt 28. Okt 2012
Hallo Zusammen,
Ihr sollt wissen dass die Jekejeke Minlog Dokumentation ein neues Beispiel beinhaltet, das zeigt wie man einen eigenen CLP(*) auf die Beine stellen kann.
Das Beispiel heisst "Kleiner Löser" und es zeigt die Grundlagen wie einfache Schlussfolgerungen für die folgenden Bedingungen definiert werden können:
X = c, c ist eine Nummer
X ? D, D ist eine endliche Menge von Nummern
Falls Du mit CLP(*) Algorithmen wie z.B. Zusammenhang finden, Euklidischer Algorithmus, Zylinderzerlegung, etc.. Experimente durch führen möchtest, so versuche doch dazu Jekejeke Minlog.
Jekejeke Minlog offeriert Vorwärtsverkettungsregeln. Diese Regeln sind gleichwertig wie andere Formalism wie z.B. Attributvariablen oder Bedingungsbewältigungsregeln. Eine Beschreibung des Beispiels kann hier gefunden werden, der volle Quellcode ist im Appendix:
Kleiner Löser
Schöne Grüsse
Kommentare