3 Ergebnisse für: unifiziert
-
Resolution
http://www.fh-wedel.de/~si/seminare/ws04/Ausarbeitung/5.Prolog/LogPro5.htm
Votrag über Logische Programmierung
-
Prädikatenlogik
http://www-ai.cs.uni-dortmund.de:8765/lexikon/theorie/logik/node3.html
Pr?dikatenlogik
-
Fakultät in Prolog. Das Programm und die Lösungssuche als Suchbaum. Auch als Powerpoint-Präsentation.
http://www.philipphauer.de/info/info/fakultaet-prolog-suchbaum/#loesungssuche_als_suchbaum
Die Fakultät in Prolog. Das Programm ausführlich erklärt, illustriert mit der Lösungssuche als Suchbaum. Auch als Powerpoint-Präsentation verfügbar.