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