Open Source Prolog Software for Mac

Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.

The Datalog Educational System (DES) is a deductive database with Datalog, SQL, Relational Algebra, Tuple Relational Calculus and Domain Relational Calculus as query languages developed mainly for education. It can be used from most common Prolog interpreters over any supported OS and from portable executables (Windows, Linux and MacOS).

The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.

Linguistic Tree Constructor (LTC) is a tool for drawing lingusitic syntax trees of already-existing text. It is a syntax editor, not a text editor, so the text has to exist already. It is best suited for large-scale, rapid creation of hand-annotated treebanks. The user can define their own node categories, and can label each node with labels, also definable by the user. LTC supports "generic", X-Bar and RRG trees. Supports interlinear texts in SIL SFM format.

EZOP is a category representing educational system.

ADP (Another Data Processor) is a programing language that is designed for Web database programing. It is a scripting language and a lightweight programming language in which it is possible to mix SQL easily. It is easy to install. ADP is base on Prolog. But ADP uses only the backtrack and unification. The syntax is original and likes a another scripting language, supports method call.

Prosper is a web application development framework to augment Prolog applications with a web interface. It supports control flow in visual logic and promotes a clear separation of model from view.

Jude is a rapid application development tool to develop data management applications easy to mantain for developers and easy to use for end users.

TOY is a constraint functional logic system, designed to support the main declarative programming styles and their combination

JLog is a Prolog interpreter written in Java. It is fast and perfectly suited for education. It includes source editor, query panels, online help, animation primitives, and a GUI debugger. JScriptLog is Prolog in JavaScript.

A group of systems for building network-oriented intelligent agents, consisting an agent communications infrastructure, April - an agent construction programming language, Go! - a logic programming language and DialoX - an XML-based user interface engine

Prolog Image Processing is a (initially) MacOS based extension to OpenProlog which allows to use image processing function in the context of Prolog.

A Simulation based on SWI Prolog

Sun Profile Project.

TuCSoN (Tuple Centres Spread over the Network) is a tuple-based middleware for the coordination of distributed systems – including multi-agent systems, mobile agents and pervasive systems.

s(ASP) is an implementation of the stable model semantics of logic programming. Unlike similar systems, it does not employ any form of grounding. This allows s(ASP) to execute programs that are not finitely groundable, including those which make use of lists and terms. Work on s(ASP) is supported by the National Science Foundation under Grant No. 1423419. Details of how s(ASP) works can be found in the following paper: Marple, Kyle, Elmer Salazar, and Gopal Gupta. "Computing Stable Models of Normal Logic Programs Without Grounding." arXiv preprint arXiv:1709.00501 (2017) (https://arxiv.org/abs/1709.00501).

A Practical Agent Programming Language

A Prolog expert system supporting querying and extending the knowledge base from a command-line interface using a format oriented on natural language, with the aim of being maintainable by the domain expert (i.e. without requiring programming skills).

Amine is an Artificial Intelligence Multi-Layer Java Open Source Platform dedicated to the development of various kinds of Intelligent Systems and Agents (Knowledge-Based, Ontology-Based, Conceptual Graph -CG- Based, NLP, Reasoning and Learning, Natural Language Processing, etc.). Ontology, KB can be created and manipulated with various processes. CG theory is used as the main knowledge representation language. Amine provides two languages: PROLOG+CG which extends PROLOG with CG and Amine modules, and SYNERGY which is a visual activation/propagation based language. CGs are considered by SYNERGY as activable/executable graphs. See for more detail: //amine-platform.sourceforge.net/

AntWar! is a virtual life simulator. The player must extends the base ants classes to create their own colonys whose must survive in the warfield.

Browlser lets you view Semantic Web RDF/OWL straight from your browser. Supports SWRL rules for OWL files that also define rules for displaying the data. You can give someone a URL address which directly runs the OWL application.

A collection of tools for working with the comparative data analysis ontology including import/export facilities for common phylogenetic file formats, and also a triple-store framework.

This project assembles the implementations of inference engines for CHORD, an object-oriented extension of CHRD.

CIOS Audio Core is the infrastructure and subsystem in Collective Intelligence Operation System. It is a cross platforms audio abstract interface, supports including Mac OS X, Linux, Android, iPhone OS and Windows 7.

This project provides a tool (developed by the ArguGRID project) that implements different dispute derivations for assumption-based argumentation. It also computes a dialectical structure of arguments. Users have full control over selection functions and