Logic with Prolog

Inhaltsangabe von Logic with Prolog

«Logic with Prolog» ist das Lehrbuch für formale Logik und logische Programmierung von Peter Gibbins, bei Clarendon Press, in Taschenbuchausgabe (336 Seiten, auf Englisch).

Einführung in die formale Logik und logische Programmierung mit Prolog: behandelt Parser, Interpreter, Beweisprüfer und Theorembeweiser, den Aussagen- und Prädikatenkalkül mittels natürlicher Deduktion, die Logik einer kleinen imperativen Sprache und die Grenzen des realen Prolog.

Ursprünglich 1988 veröffentlicht, ist es Teil der Oxford Applied Mathematics and Computing Science Series und enthält Bibliografie und Index.

Für Universitätsstudenten und Informatikfachleute, die sich für Logik und Programmierung in Prolog interessieren.