Benutzer-Werkzeuge

Webseiten-Werkzeuge


kuenstliche_intelligenz_und_logische_programmierung

====== Unterschiede ====== Hier werden die Unterschiede zwischen zwei Versionen gezeigt.

Link zu dieser Vergleichsansicht

Both sides previous revision Previous revision
Next revision
Previous revision
kuenstliche_intelligenz_und_logische_programmierung [2014/09/01 14:47]
admin
kuenstliche_intelligenz_und_logische_programmierung [2014/09/01 14:48] (aktuell)
Zeile 64: Zeile 64:
  ​gesund(Person):​-isst(Person,​Essen),​frucht(Essen).  ​gesund(Person):​-isst(Person,​Essen),​frucht(Essen).
 </​code>​ </​code>​
- 
  
  
 **2. Unifikation** **2. Unifikation**
 +
 2.1 Terme sind unifizierbar,​ wenn sie 2.1 Terme sind unifizierbar,​ wenn sie
   -   ​identisch sind oder   -   ​identisch sind oder
kuenstliche_intelligenz_und_logische_programmierung.txt · Zuletzt geändert: 2014/09/01 14:48 (Externe Bearbeitung)