21 projects tagged "Prolog"

Download Website Updated 30 Jan 2001 Ciao Prolog

Screenshot
Pop 104.05
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 19 Sep 2004 GPP

Screenshot
Pop 230.04
Vit 4.07

GPP is a general-purpose preprocessor with customizable syntax, suitable for a wide range of preprocessing tasks. Its independence from any programming language makes it much more versatile than cpp, while its syntax is lighter and more flexible than that of m4. The syntax is fully customizable, which makes it possible to process text files, HTML, or source code equally efficiently in a variety of languages.

Download No website Updated 24 May 2002 The Objex Project

Screenshot
Pop 39.70
Vit 1.45

The Objex Project (like the GNU Project) aims to develop a complete operating system composed of free and open source software. In contrast to the GNU Project, it aims to build a modern system that brings together all the recent advances in computer science, instead of a Unix-like system. "A complete system" means that it will include the kernel, a full suite of developers tools, user utilities, and a graphical user interface. It is based on OSKit, a framework and a set of utilities, drivers, and program code intended for operating system creation.

Download Website Updated 29 May 2012 Logtalk

Screenshot
Pop 165.99
Vit 26.19

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 35.83
Vit 3.72

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.12
Vit 2.44

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 24 Apr 2005 OpenSHORE

Screenshot
Pop 83.57
Vit 2.43

SHORE (Semantic Hypertext Object Repository) is a hypertext repository that stores data about documents and data described by documents. Access to this information is provided as hypertext. The repository stores objects that appear in documents, together with their relations in a semantic net. Hypertext navigation follows these relations in the semantic net. The SHORE server works as an HTTP server, and the client is a standard Web browser. The repository uses PROLOG as its query language and the XSB system as its query engine.

No download Website Updated 18 Dec 2003 DELORES

Screenshot
Pop 63.95
Vit 1.42

DELORES (DEfeasible LOgic REasoning System) is a forward-chaining reasoning engine for defeasible logic, a less-expressive but more efficient non-monotonic logic. In contrast with most other non-monotonic logics, defeasible logic has linear complexity, allowing DELORES to execute large theories very quickly. DELORES's algorithm extends to general defeasible theories through the use of a pre-processing transformation which eliminates all uses of defeaters and superiority relations.

Download No website Updated 05 Jan 2004 Caves of Golorp

Screenshot
Pop 32.59
Vit 1.00

Caves of Golorp is a Rogue-like game, written in Prolog. It features a sophisticated level generator, smart monsters, and a unique magic system.

Download Website Updated 03 Mar 2004 segusoLand

Screenshot
Pop 44.09
Vit 1.42

segusoLand is a file manager and desktop environment that enables users to specify any kind of action in a very uniform way, with an artificial intelligence feature that aids by showing only the relevant options. It features a completely new user interaction paradigm called "reciprocal list narrowing".

Screenshot

Project Spotlight

Plzip

A parallel compressor compatible with lzip.

Screenshot

Project Spotlight

FLOM

A simple lock manager.