Report - Logische Programmierung Einf¨uhrende Beispiele · • Eine Unit-Klausel (oder Fakt) ist eine definite Klausel mit leerem Rumpf. Notation: A ⇐. KI, SS 06, Fol7, Seite 10, 8. Juni2006

Please pass captcha verification before submit form