LLJ - Logic Language for JVM

A set of parsec combinators that parses ISO-Prolog programs

A Prolog implementation of a math game that I used to play as a child and that I reused for the Criteo Code of Duty 2

A client-server system to parse and answer questions in German using Prolog and Apache Lucene. Comes with a web client and goodies.

("lip" means "Lisp in Prolog") Status: frozen until i learn more PLT

An English Grammar Dictionary and a Natural Language Parser --- in Common Lisp and Prolog

A probabilistic version of the Event Calculus logic programming engine, developed during my time at NCSR "Demokritos", Athens, Greece.

Prolog implementation of Dijkstra's algorithm for finding the shortest path in a directed, connected and acyclic graph with non-negative weight

A sudoku resolver in C#/WPF using prolog implementation...

Prioritization and placement of roadside units in Intelligent transportation systems.

Shumilog - a partial Prolog implementation

Basic interpreter in Prolog

A pseudo-Prolog that tries to answer queries by building the least Herbrand model.

Easy as ABC it's a prolog program that resolves an easy as abc problem using retrictions.

Automatically exported from code.google.com/p/plakoto

Automatically exported from code.google.com/p/dr-prolog-proof-checker

Prolog snippets

A doxygen filter to use with Prolog

Prolog taxi scheduler application using Dijkstra's algorithm