Plan recognition system based on the situation calculus and Golog written in Mercury.
-
Updated
Apr 11, 2013 - MATLAB
Plan recognition system based on the situation calculus and Golog written in Mercury.
A probabilistic version of the Event Calculus logic programming engine, developed during my time at NCSR "Demokritos", Athens, Greece.
Canonical miniKanren implementation in Racket
Examples and tutorial for the excellent Clojure core.logic logic programming library
Easy as ABC it's a prolog program that resolves an easy as abc problem using retrictions.
Prolog taxi scheduler application using Dijkstra's algorithm
A prototype Answer Set Programming Scala DSL.
Grail0 is a bare-bones proof net theorem prover for multimodal categorial grammars producing natural deduction output
Logical programming in JavaScript
Arquivos da Célula de Fundamentos de Programação 2016.2
[MOVED TO GITLAB] Logic for Programming Project - 2014'15
Proposed solutions for lab problems at Logical and Functional Programming course
Solve the Zebra Puzzle, aka, the Einstein's Puzzle, in Prolog
A microprocessor implemented in VHDL
Prolog work for the course Logic Programming
Add a description, image, and links to the logic-programming topic page so that developers can more easily learn about it.
To associate your repository with the logic-programming topic, visit your repo's landing page and select "manage topics."