CRUMB
发表于 2025-3-26 21:49:34
http://reply.papertrans.cn/55/5413/541283/541283_31.png
值得
发表于 2025-3-27 02:44:55
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.
通便
发表于 2025-3-27 09:18:43
Logik zur WissensrepräsentationEine Familie wurde bisher in der Form von Relationen
acclimate
发表于 2025-3-27 10:23:07
Logische InferenzLogische Inferenz heisst, aus gegebenen wahren Sätzen weitere wahre Sätze abzuleiten.
obstruct
发表于 2025-3-27 17:29:00
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
发表于 2025-3-27 18:14:45
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
发表于 2025-3-28 01:04:03
Springers Angewandte Informatikhttp://image.papertrans.cn/k/image/541283.jpg
SLAY
发表于 2025-3-28 02:41:40
http://reply.papertrans.cn/55/5413/541283/541283_38.png
anaerobic
发表于 2025-3-28 08:56:09
Kurs in Logischer Programmierung978-3-7091-9112-5Series ISSN 0178-0069
dictator
发表于 2025-3-28 13:01:19
http://reply.papertrans.cn/55/5413/541283/541283_40.png