Für diesen Artikel ist leider kein Bild verfügbar.

From Logic Programming To Prolog

APT (Autor)

Buch | Softcover

352 Seiten

1996
Prentice Hall (Verlag)
978-0-13-230368-2 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

Provides an introduction to the theory of logic programming and shows how this theory can be applied to reason about pure Prolog programs. The text includes an introduction to programming in Prolog and deals with such programming issues as determination, occur-check freedom and absence of errors.

Provides a systematic introduction to the theory of logic programming and shows how this theory can be applied to reason about pure Prolog programs. The text includes an introduction to programming in Prolog and deals with such programming issues as determination, occur-check freedom and absence of errors. It covers both the natural interpretations of logic programming, as declarative specification and as procedure for computer execution.

Unification; logic programs - procedural interpretation; logic programs - declarative interpretation; programming in pure Prolog; termination; the occur-check problem; partial correctness; programming in pure Prolog with arithmetic; verification of pure Prolog; programs with arithmetic.

Erscheint lt. Verlag	24.10.1996
Verlagsort	Upper Saddle River
Sprache	englisch
Maße	174 x 233 mm
Gewicht	512 g
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	0-13-230368-X / 013230368X
ISBN-13	978-0-13-230368-2 / 9780132303682
Zustand	Neuware