|
|
| 项目描述: |
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。 |
| 类别: |
| |
|
发布者：
chengbd
|
|
| 最新发布源码包 |
| 软件包 |
版本号 |
日期 |
本地下载 |
| 0.3 |
0.3 |
2002-12-15 |
下载 |
|
|
TCLP - 项目摘要