RSS 11 projects tagged "Software Development"

Download Website Updated 30 Jan 2001 Ciao Prolog

Screenshot
Pop 110.63
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 234.26
Vit 4.08

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 42.90
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 175.43
Vit 26.86

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 36.74
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.37
Vit 2.47

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 81.06
Vit 2.44

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 64.96
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 Website Updated 18 Aug 2004 Rulz.NET

Screenshot
Pop 18.17
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".

Download Website Updated 21 Apr 2006 YProlog

Screenshot
Pop 31.06
Vit 2.05

YProlog is a pocket Prolog engine written in 100% Java. It provides a number of fast and easy Java-Prolog interfacing functions that enables the Prolog database to be used like an SQL-type database. It has fast consult and retract operations, can "serialize" database contents into text, and can easily load and store tables or contents of Java objects. It is based on Jean Vaucher's XProlog.

Screenshot

Project Spotlight

file

File type identification utility

Screenshot

Project Spotlight

Pathomx

Metabolic pathway visualisation and analysis.