Top 421 prolog open source projects

The Official Shen Sources

A batteries-included kit for knowledge graphs

My public programs and models - mostly combinatorial problems and puzzles

Logtalk - declarative object-oriented logic programming language

An in-memory datalog implementation for OCaml.

My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.

LaTeX support for Adobe's Pro opentype fonts: Minion Pro, Myriad Pro, Cronos Pro and possibly more

Strange Loop 2014 archives

A new logic programming language.

A PCB for attaching an iPad retina LCD to a DisplayPort source

Parser for Attempto Controlled English (ACE)

Metagol - an inductive logic programming system

BadUSB cable based on Attiny85 microcontroller.

A state of the art knowledge base

Free and open source A.I. system based on Python, TensorFlow and Prolog.

Embeddable Lambda Prolog Interpreter

ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.

Translate XML Schema into equivalent JSON Schema

Constraint Logic Programming over Finite Domains

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.

A terse declarative logic programming language

Open source graph database and document store. Designed for collaboratively building data-intensive applications and knowledge graphs.

A collection of tools for working with Qualcomm MSM devices

A Magic: the Gathering™ expert system

Tableau-based Theorem Prover for Natural Logic and Language

A collection of Prolog libraries.

End-to-End Differentiable Proving

A tutorial for the swipl web framework

forked from ultimachine/Ramps 1.4

📚 codes written while learning them.

Euler Yet another proof Engine

SWI-Prolog ported to WebAssembly

Prolog HTTPS Servers

🎰 University projects and homework.

A Benchmark for Machine Learning from Structured Data

A Prolog implementation in D language

Fast Holographic Deconvolution

An experimental game

My MSc thesis: a grammar induction system

Prolog benchmarks (`van Roy' set)

PCB design for the micromouse project @ RU IEEE 2012

Think hard

Automatically exported from code.google.com/p/gedemin-prolog

custom type systems for python in prolog: http://alehander42.me/prolog_type_systems

Exercism exercises in Prolog.

Automatically exported from code.google.com/p/idl-coyote

Wind spacecraft IDL software

TI CC 2540 BTLE Break out board

A modern Prolog implementation written mostly in Rust.