|
源码搜索 |
|
|
共有 17 个源码项目.每页显示10条. <1> <2>
1. Yet Another Prolog
- 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/ |
|
2. JLog - Prolog in Java
- JLog is a standard Prolog interpreter written in Java, so it runs almost anywhere. It is quite fast, and perfectly suited for educational purposes. It includes built-in source editor, query panels, online help, animation primitives, and a GUI debugger.
JLog是一个用Java编写的标准Prolog解释器,所以它几乎可以任何平台上运行。它是相当快的,非常适合教学目的。它包括了一个内建的源代码编辑器,查询面板,在线帮助,动画制作,以及一个一GUI调试器。
来源: http://sourceforge.net/projects/jlogic/ |
|
3. tuProlog (2P)
- 2P is a light-weight Java-based Prolog (interpreter and API). Features: core minimality (suitable for applet and mobile computing), dynamic extensibility and configurability, bi-directional integration with Java.
tuProlog (2P)是一个基于Java的轻型Prolog(解释器和API)。功能:内核最小化(适合于Java程序和移动计算),动态扩展性和可配置性,Java的双向翻译功能。
来源: http://sourceforge.net/projects/tuprolog/ |
|
4. Ciao Prolog
- Ciao is a complete Prolog system subsuming ISO-Prolog with a novel modular design which allows both restricting and extending the language. Ciao extensions currently include feature terms (records), functions, constraints, objects, persistent predicates, a good base for distributed execution (agents).
Ciao是一个包含ISO-Prolog的完整的Prolog系统,提出了一个新颍的模块设计,同时允许使用受限的和扩展的语言。Ciao扩展目前包括特性术语(记录),函数,约束,对象,一致性谓词,一个良好的可进行分布式执行(代理)的库, |
|
5. Logtalk
- Logtalk is an open source object-oriented extension to the Prolog programming language. Integrating logic programming with object-oriented and event-driven programming, it is compatible with most Prolog compilers.
Logtal是一个扩展的面相对象的开放源代码,它扩展到Prolog编程语言。在用定向目标和驱动事件编程整化逻辑编程的条件下,它和大多数Prolog编辑器相兼容。 |
|
6. TCLP
- TCLP is a type checker for Prolog dialects. It is written in SICStus Prolog. Its goal is to statically trap programming errors like illegal arguments used in a call for a predicate or illegally built data structures with respect to a given typing for function symbols or predicates. TCLP is also capable of type inference for user predicates. Supported dialects include ISO-Prolog, GNU-Prolog, and Sistus Prolog.
TCLP是一个Prolog子语言的类型检查器,用SICStus Prolog写成,它可以静态捕获程序的错误,如调用谓词时不合法的参数,或是错误地建造的数据类型。TCLP也支持用户谓词的引用类型。可支持的子语言包括:ISO-Prolog, GNU-Prolog, 和 Sistus Prolog。 |
|
7. Prolog Tab plugin for Protege-2000
- PrologTab plugin integrates a Prolog inference engine with the Protege-2000 knowledge base.
Prolog Tab plugin for Protege-2000将一个Prolog接口引擎和Protege-2000知识库相结合。
来源: http://sourceforge.net/projects/prologtab/ |
|
8. Prolog Image Processing
- Prolog Image Processing is a (initially) MacOS based extension to OpenProlog which allows to use image processing function in the context of Prolog.
Prolog Image Processing是一个(最初)基于MacOS的向OpenProlog的扩展,可以允许在Prolog环境中使用图像处理函数。
来源: http://sourceforge.net/projects/proimpro/ |
|
9. Weapon identifying expers systems
- Weapon-classifying expert systems for melee weapons and firearms.
Weapon 分类专家系统用于分类格斗武器和轻武器。
来源: http://sourceforge.net/projects/weaponclass/ |
|
10. Prolog+CG
- Prolog+CG is a Java implementation of Prolog with extensions implementing a subset of the Conceptual Graph (CG) theory of John Sowa. CGs are first-class datatypes on a par with terms. Object oriented extensions are also included.
Prolog+CG是一个Java实现的Prolog ,扩展实现了John Sowa的概念图(CG)的一个子集。CG是同类术语中第一流的数据类型。也包括了面向对象的扩展。
来源: http://sourceforge.net/projects/prologpluscg/ |
|
共有 17 个源码项目.每页显示10条. <1> <2> |
|