Titlebook: Kurs in Logischer Programmierung; Norbert E. Fuchs Textbook 1990 Springer-Verlag/Wien 1990 Algorithmen.Computer.Programmiersprache.Program

CRUMB

值得

Prolog-ProgrammiertechnikenWie in jeder Sprache haben sich auch in Prolog eine Anzahl von Programmiertechniken entwickelt, von denen wir einige in diesem Kapitel vorstellen wollen, nämlich Schleifen, Akkumulatoren und Differenzlisten. Weitere Programmiertechniken tauchen in den Kapiteln auf, die sich mit den Anwendungen der logischen Programmierung befassen.

通便

Logik zur WissensrepräsentationEine Familie wurde bisher in der Form von Relationen

acclimate

Logische InferenzLogische Inferenz heisst, aus gegebenen wahren Sätzen weitere wahre Sätze abzuleiten.

obstruct

Suchverfahren sind die Zustände. Die Zustände sind durch Übergänge — die Züge — miteinander verbunden. Es gibt einen Anfangszustand — die Anfangskonfiguration — und eine Menge von Endzuständen — die Mattkonfigurationen.

folliculitis

Metainterpreter problemspezifische Sprache und einen Interpreter für diese Sprache in Prolog. Einige der besprochenen Programme können als Interpreter verstanden werden. Die Suchprogramme (s. 7) sind z.B. Interpreter der Sprache mit den Elementen . und

ICLE

Springers Angewandte Informatikhttp://image.papertrans.cn/k/image/541283.jpg

SLAY

anaerobic

Kurs in Logischer Programmierung978-3-7091-9112-5Series ISSN 0178-0069

dictator