Open Source Prolog Software Development Software - Page 3

PLUNITTEST is a unit test framework for Prolog. It has been tested with Sicstus prolog. It gives a framework for automated unit testing of prolog programs via continuous integration tools. It outputs an XML file like Junit XML.

ProLOGO is a LOGO-like language written in swi-prolog with XPCE graphic libraries. Almost all the basic commands are implemented but there is no support for procedures (yet).

Simple Object Oriented Programming Framework for Prolog

PrologTab plugin integrates a Prolog inference engine with the Protege-2000 knowledge base.

PrologDoc is a small Prolog tool to document your Prolog applications, much like the better-known Javadoc does for Java. Its aim is to be simple but useful and freely usable.

Proshee is a Prolog type-inference system written in Prolog but depending on the banshee project in C (banshee.sourceforge.net). At present it manages very simple type-inference, but it has some problems with lists that need to be overcome.

A Python extension embedding SWI-Prolog.

ReSpecT (Reaction Specification Tuples) is a logic-based language for distributed system coordination. ReSpecT is based on a coordination model exploiting tuple centres as first-class, general-purpose coordination media.

Regulus is a Prolog-based toolkit for building spoken dialogue systems.

SecFlow - Secure Flow Analyzation for Java and .NET

A prolog-based functional-logical "Make" tool for managing the execution of complex interdependent tasks

Learn basic constraint logic programming by solving logic word puzzles. Go to http://eclipse.dougedmunds.com . This tutorial will show you how to solve easy 1 star to hard 5 star puzzles, using the eCLiPSe-CLP language (available at http://eclipseclp.org/). Don't confuse this programming language (a prolog language) with the IDE for Java.

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

This project collects the classical "Towers of Hanoi" problem in many programming languages, including lesser known and/or esoteric ones.

XGP is an integrated development environment that extends GNU Prolog to work with Cocoa under Macintosh OS X. It provides user interface and graphics facilities largely compatible with MacProlog32 by LPA. Requires Mac OS X version 10.2.1 or greater.

XPL is the eXtensible Programming Language. XPL is an application of XML for interchange of computer programs.

bddshell is a command line program for deductive database-based analysis. Its primary focus is software vulnerability detection. It acts as a front-end to a number of other programs, such as bddbddb and joeq.

Dali is a standard DAta structure LIbrary for Prolog. It only uses ISO Prolog. It offers a wide range of efficient data structures.

jWAM is a 100% Java Warren Abstract Machine implementation. Currently it is still under development though all the basic functionalities (compiling, resolution) are working. As far as I know this is the only open source Java based implementation out there that does not simplify Warren's design. I have done some comparison's with other Java based Prolog engine's and jWAM does seem to outperform them all quite well (tuProlog, JLog, JIP, jTrolog). However, if you need a Java based Prolog engine for your project I recommend tuProlog and jTrolog as they are at the moment way more mature than jWAM. Most notable to-do's: - Built-in predicates. - Debugging tools. - Testing. - Documentation and commenting. - Android port. (I have the engine working with a test app but I still need to build a proper app). - Alpha release

Prodox provide a basic library to provide doxygen comments in a Prolog language file. With dedicated predicate (doxygen), user can comment Prolog files in doxygen format and generate a file ready to be used as input by doxygen.

PWIG is a SWIG extension that allows new language modules to be developed on Python. Includes a PWIG wrapper generator for SWI-Prolog and Logtalk.

pyIRDG is a program written in Python to generate relational datasets in Prolog format. It uses data from the Internet Movie Database in combination with IMDbPY as backend. A graphical user interface written in pyQt allows the user to link multiple entities together as model for the generation process. The big four entities are Title, Person, Company and Character. Many attributes can be chosen for adding to the output .pl file. Three types of constraints on attributes are available to limit the output: an availability constraint, a range constraint and a value constraint. It works with both MySQL and PostgreSQL as database backend.

PyCDep is a tool to analyze include dependencies between files in C and C++ programs. PyCDep itself is written in python. It dumps all the facts in a prolog database which can be queried. Visualization is possible by dumping graphviz (.dot) files.

Python interface to ECLiPSe Constraint Logic Programming.

reputron is a knowledge extraction engine platform that covers all aspect of text mining, relevance, indexing and querying on a corpus of text documents.