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