Trending
See what the GitHub community is most excited about this month.
-
Metagol - an inductive logic programming system
-
A terse declarative logic programming language
-
SWI-Prolog for SHaring: a SWI-Prolog web IDE
-
Test-driven system administration with a little extra logic.
-
Some simple examples for new Prolog programmers
-
Strange Loop 2014 archives
-
LaTeX support for Adobe's Pro opentype fonts: Minion Pro, Myriad Pro, Cronos Pro and possibly more
-
An in-memory datalog implementation for OCaml.
-
A new logic programming language.
-
-
My public programs and models - mostly combinatorial problems and puzzles
-
My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
-
A PCB for attaching an iPad retina LCD to a DisplayPort source
-
Logtalk - declarative object-oriented logic programming language
-
OpenType Unicode fonts for Scientific, Technical, and Mathematical texts
-
Parser for Attempto Controlled English (ACE)
-
Interpreter for a simple Lisp. Written in Prolog.
-
Translate XML Schema into equivalent JSON Schema
-
Free and open source A.I. system based on Python, TensorFlow and Prolog.
-
The Music Ontology Specification provides main concepts and properties fo describing music (i.e. artists, albums, tracks, but also performances, arrangements, etc.) on the Semantic Web.
-
These are the supporting materials for my series of tutorials on using the Eagle CAD software for PCB design.
-
Constraint Logic Programming over Finite Domains
-
OWL2 library for Prolog
-
Tableau-based Theorem Prover for Natural Logic and Language
-
A collection of Prolog libraries.
