See what the GitHub community is most excited about today.
My public programs and models - mostly combinatorial problems and puzzles
Test-driven system administration with a little extra logic.
SWI-Prolog for SHaring: a SWI-Prolog web IDE
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 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
Parser for Attempto Controlled English (ACE)
Translate XML Schema into equivalent JSON Schema
Interpreter for a simple Lisp. Written in Prolog.
Free and open source A.I. system based on Python, TensorFlow and Prolog.
OpenType Unicode fonts for Scientific, Technical, and Mathematical texts
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.
Metagol - an inductive logic programming system
Constraint Logic Programming over Finite Domains
A terse declarative logic programming language
OWL2 library for Prolog
Tableau-based Theorem Prover for Natural Logic and Language
A collection of Prolog libraries.