Backtracking In Prolog

Show software
Software Downloads 1-20 of 28  |   Pages 1 2 
Software Name  /  Popularity Revised Size License Company


Prolog+CG is a Java implementation of Prolog with extensions implementing a subset of the Conceptual Graph (CG) theory of John Sowa. CGs are first-class datatypes on a par with terms. Object oriented extensions are also included.

June 10th 2012 2,180k Freeware

Object Oriented Prolog

Oopl (rhymes with "scruple") is an object-oriented extension for Prolog. This kernel now lets youwrite Prolog programs making use of all the advantages of working with classes, instances,attributes and service-like predicates.

June 27th 2012 113k Freeware

Prolog Image Processing

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

April 21st 2012 40k Freeware
DynamicReverseEn gine

DynamicReverseEn gine

Fast navigation on datas ALL_DEPENDENCIES OracleDB 9/8, save/restore diagram file Export to formats .GIF,.HTML,.VRML,.WFT. Edit/view data in table DB, export/import BLOB/CLOB/XMLTYPE OracleDB. View source code PL/SQL,Java in objects Package,Procedure,Function,Java Class animation , diagram , java , oracle , engine ...

May 12th 2008 2,468k Freeware  Eugen Kuptsov

PathQuest 1: The Phoenix Arisen

Our uniquely designed epic adventure of betrayal, hope, love, family secrets, daring escapes and savage combat comes to your PC with explosive revelations, novel-quality writing, stereo music and sound effects, and high-res custom made graphics as you play a normal everyday person transported to a ... game , fantasy , rpg , adventure , story ...

April 8th 2009 5,534k Shareware  Stormcloud Creations
Universal Code Lines Counter

Universal Code Lines Counter

A fast and easy tool for counting source code, blank and comment lines of software projects for many programming/script languages. With this application you get a detailed report (as table and additionally as graphic) about the source code of your software project. It counts not only ... perl , html , php , lines , software ...

November 21st 2009 2,595k Freeware  AB Tools com

Linguistic Agents On Squares

LAOS (Linguistic Agents On Squares) is an implementation of the blocks world domain with interacting agents in Prolog.

June 21st 2012 173k Freeware

Ontological Logic Programming (OLP)

Ontological Logic Programming, shortly OLP, is a novel combination of ontological reasoning and logic programming. It enables Prolog programs to dynamically import ontologies and transperantly use the terms from these ontologies.

June 20th 2012 19,774k Freeware


OpenPoplog is a multi-language, incrementally-compiled virtual machine-based development environment with its own extensive teaching and support material, supporting the languages Pop-11, Prolog, Common Lisp and ML on Unix, VMS, Linux and Windows.

June 15th 2012 4,221k Freeware


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.

May 8th 2012 3k Freeware


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.

September 13th 2012 60k Freeware


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.

May 27th 2012 310k Freeware

Code::Blocks IL plugins

A set of experimental plugins for the open source Code::Blocks IDE to provide support for projects that use Interpreted Programming Languages (such as Python, Ruby, Prolog, Perl etc).

September 18th 2012 28k Freeware


Working and tested Implementation of a Prolog Interpreter in Java. Could be used to explain students how things work for this very nice AI language and the ideas behind it. Covers the core of Prolog, not al the optimizations, syntax sugering, etc.

August 29th 2012 856k Freeware

Esperanto-Rusa vortaro por potelefonoj

An Esperanto-Russian vocabulary for java-enabled mobile phones. It consists about 20000 words. This vocabulary was translated from original Bokarev's vocabulary (in TXT format) by Prolog program developed by author. Tested on K750i and Z750i mobile phon

September 11th 2012 256k Freeware


This project is about implementing a logic-programming based, reasoning engine for an agent. We started with an implementation of the iff-proof procedures, by Kowalski and Fung, as an any-time algorithm written in Prolog.

June 24th 2012 80k Freeware


This project aim to define a language, in particular a Prolog theory, to specify declaratively the logical placement of graphical components within a window so as to facilitate the creation of graphical interfaces in Java Prolog theory to specify declaratively the logical placement of graphical ...

April 28th 2012 3,693k Freeware


Source code of iphone and iPad. Developed by Prolog Inc for Prcesion Systems. iPad: iPhone: For passwords of the ZIP files please contact or

April 2nd 2012 1,847k Freeware


Enables Prolog developers to create AI modules for StarCraft BroodWar by wrapping the BWAPI functions in Prolog predicates. For more information refer to the Project Wiki. Exports a major part of BWAPI to PrologEmbeds SWI-Prolog into StarCraft/BWAPISupport for BWTA (Terrain Analyzer)No debugging available yet :( ...

July 31st 2012 7,960k Freeware


PrologBOT is an IRC Bot coded entirely in Prolog, taking advantage of all the "wonders" of Logic Programming. It supports plugis in Prolog, and will have a small A.I. engine to enable it to handle some situations by itself.

May 24th 2012 231k Freeware
Software Name  /  Popularity Revised Size License Company
Software Downloads 1-20 of 28   |  Pages 1 2 
Show software

Browse related

Adventure In Prolog - Backtracking Algorithm - Backtracking Java - Backtracking Line Search - Backtracking Method - Backtracking Music - Backtracking Songs - Brain Aid Prolog - Download Meridian Prolog

Current software picks

Microsoft Agent Mtxico - Process Analysis Writing - K Cups Best Price - Cricket 2008 Pc Game - Microsoft Agent Server - Lumberton Ford Lincoln - Google Grammar Software Trackback - Grammar Software Downloadable - Isync Phone Lg Kp500 - Christmas Algebra Games - Krishna Dass Lyrics - Microsoft Agent Software - Arithmetic Test - Google Grammar Software - Business Process Analysis - Process Analysis Papers - Mpeg 2 To Swf - Sony Ericsson K750i Themes Download - Ts Convertor - Microsoft Agent Code