|
项目描述: |
The Yap Prolog System is a ISO-compatible high-performance Prolog compiler. Yap is widely considered one of the fastest available Prolog systems. Yap supports coroutining, CLP(QR), CHR, and depth-bound search. Tabling and parallelism are in development.
Yap Prolog System是一个与ISO兼容的高性能Prolog编译器。Yap被广泛认为是最快的可用的Prolog系统之一。Yap支持协同程序,CLP(QR),CHR,以及深度-边界搜索。对表格和并行的支持正在开发之中。
来源: http://sourceforge.net/projects/yap/ |
类别: |
|
发布者:
hero_chengbd
|
|
最新发布源码包 |
软件包 |
版本号 |
日期 |
本地下载 |
Yap |
 4.4.2-small  |
2003-05-02 |
下载 |
|
|