Logtalk 2.43.1 发布,逻辑编程语言

红薯
 红薯
发布于 2011年09月12日
收藏 0

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.
本站文章除注明转载外,均为本站原创或编译。欢迎任何形式的转载,但请务必注明出处,尊重他人劳动共创开源社区。
转载请注明:文章转载自 OSCHINA 社区 [http://www.oschina.net]
本文标题:Logtalk 2.43.1 发布,逻辑编程语言
加载中
返回顶部
顶部