Turbo Prolog — Einführung in die Anwendung

Die Künstliche Intelligenz befaßt sich mit der Nachbildung von intelligentem mensch­ lichen Verhalten durch Computer. Eines ihrer Teilgebiete ist das Automatische Beweisen, wo die Tätigkeit des Beweisens mathematischer Aussagen, die Tätigkeit von Mathematikern also, simuliert werden soll. Hier stellt man sich die Frage, ob eine Formel (eine Aussage, ein Satz) der Prädikatenlogik aus gewissen vorge...