Backtracking In Prolog

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

Prolog+CG

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  prologpluscg.sourceforge.net

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  oopl.sourceforge.net

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  proimpro.sourceforge.net
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  laos.sourceforge.net

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  olp-api.sourceforge.net

OpenPoplog

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  openpoplog.sourceforge.net

PLUNITTEST

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  plunittest.sourceforge.net

PrologDoc

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  prologdoc.sourceforge.net

Prosper

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  prospear.sourceforge.net

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  cbilplugin.berlios.de

DejaVu

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  prologdejavu.sourceforge.net

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  eo-ru.sourceforge.net

GLORIA

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  gloria.sourceforge.net

JPWindowLayout

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  jpwindowlayout.sourceforge.net

ProCamPlus

Source code of iphone and iPad. Developed by Prolog Inc for Prcesion Systems. iPad: http://bit.ly/eP4EEG iPhone: http://bit.ly/eKhX6l For passwords of the ZIP files please contact iphone@prologinc.com or shaestagir.chowdhury@prologinc.com

April 2nd 2012 1,847k Freeware  procamplus.sourceforge.net

ProLogic

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  SourceForge.net

PrologBOT

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  prologbot.sourceforge.net
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

Christmas Greeting Attachments - Corn Crop - Bible Icon Pack - Automated Windows Sequences - How To Remove Pdf Security Password - Build Dvd Library - Bearshare Mp3 - Hidden Camera Shots - Blue Stealth 2008 Mobile - Mobile Lg Ku990 Pc Suite Software - Bearshare Mp3 Tool Ver 3 0 0 2 - Process Improvement Consulting - Source Code Lock Folder - Bearshare Mp3 Downloader - Content Exporter Dl - Java Code For Lock My Folder - Super Gsm - Bearshare Mp3 Downloader Ver 3 1 1 - Sony Pc - Baseball Stats Excel