3 projects tagged "Mac OS X"
Updated 30 Jan 2001
Ciao Prolog
| Pop | 117.19 |
|---|---|
| Vit | 1.00 |
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), higher-order, functions, constraints, objects, persistent predicates, a good base for distributed execution (agents), and concurrency. Libraries also support WWW programming, sockets, and external interfaces (C, Java, TCL/Tk, relational databases, etc.). An Emacs-based environment, a stand-alone compiler, and a toplevel shell are also provided.
Updated 29 Aug 2006
TCLP
| Pop | 40.91 |
|---|---|
| Vit | 3.82 |
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 SICStus Prolog.
Updated 22 Aug 2010
B-Prolog
| Pop | 37.95 |
|---|---|
| Vit | 2.73 |
B-Prolog is a compact and complete CLP system that runs Prolog and CLP(FD) programs. It is emulator-based, features comparable performance to SICStus-Prolog, is robust and portable, and has been tested extensively in commercial environments.
