LOGIC, PROGRAMMING AND PROLOG (2ED) Ulf Nilsson and Jan Ma luszynski Copyright c

ogtalk是一种面向对象的逻辑编程语言，可以使用最Prolog的实现作为一个后端编译器。 -ogtalk is a logic of object-oriented programming language, you can use the realization of the most Prolog as a back-end compiler.

--books which provide a theoretical basis for logic programming --books which describe how to write programs in Prolog (sometimes even in particular Prolog systems) --books which describe alternative logic programming languages like constrain

Logtalk is an object-oriented logic programming language that can use most Prolog implementations a back-end compiler. As a multi-paradigm language, it includes support for both prototypes and classes, protocols (interfaces), component-based programm