RSS 3 projects tagged "Mac OS X"

Download Website Updated 30 Jan 2001 Ciao Prolog

Screenshot
Pop 109.78
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.

Download Website Updated 29 Aug 2006 TCLP

Screenshot
Pop 37.31
Vit 3.73

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.

Download Website Updated 22 Aug 2010 B-Prolog

Screenshot
Pop 32.92
Vit 2.46

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.

Screenshot

Project Spotlight

GMLP

A markup language processor.

Screenshot

Project Spotlight

Ada EL

A library which implements an expression language similar to JSP and JSF.