logtalk是一种面向对象的逻辑编程语言，可以使用最Prolog的实现作为一个后端编译器。

Changes: This release includes a parser for PDDL 3.0 files, improved coinduction support, new compiler flags allowing passing options to the back-end Prolog compiler, improved meta-predicate support, updated examples, minor dynamic binding performance improvements, updated support for several text editors, fixes for all know bugs, and portability updates for ECLiPSe, Lean Prolog, Qu-Prolog, SICStus Prolog, XSB, and YAP

代码示例：

:- object(list,
	implements(listp)).

    append([], List, List).
    append([Head| Tail], List, [Head| Tail2]) :-
        append(Tail, List, Tail2).

    ...

:- end_object.