RSS 5 projects tagged "Compilers"

Download Website Updated 30 Jan 2001 Ciao Prolog

Screenshot
Pop 110.23
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 May 2012 Logtalk

Screenshot
Pop 173.18
Vit 26.75

Logtalk is an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler. As a multi-paradigm language, it includes support for both prototypes and classes, protocols (interfaces), component-based programming through category-based composition, event-driven programming, and high-level multi-threading programming.

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 33.29
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.

Download Website Updated 18 Aug 2004 Rulz.NET

Screenshot
Pop 18.08
Vit 1.00

Rulz.NET is an extension to C#. It brings the benefits of rules-based programming to a (potentially) much wider audience, VB and C# programmers, not just people with academic/Prolog backgrounds. It works by adding several new keywords, such as "rclass".

Screenshot

Project Spotlight

Frosted

A passive Python syntax checker.

Screenshot

Project Spotlight

Notepas

A text editor aimed at developers.