121 Open Source Prolog Software Projects

Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.

Introduction to modern Prolog

TerminusDB is an open source knowledge graph and document store. Use it to build versioned data products.

A modern Prolog implementation written mostly in Rust.

Main development repository

Some simple examples for new Prolog programmers

Curated list of Prolog packages and resources

An open source Prolog interpreter in JavaScript

The Official Shen Sources

A batteries-included kit for knowledge graphs

PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.

(🆕更新中！)《架构师的功夫》教程合集、文章合集包含 范式编程、微服务、必备算法、安全攻防、汇编、爬虫、逆向、渗透测试...

My public programs and models - mostly combinatorial problems and puzzles

An in-memory datalog implementation for OCaml.

Logtalk - declarative object-oriented 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 state of the art knowledge base

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

Translate XML Schema into equivalent JSON Schema

Interpreter for a simple Lisp. Written in Prolog.

Constraint Logic Programming over Finite Domains

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

A terse declarative logic programming language

explorations in core.logic

Constraint Logic Programming over Integers

A collection of Prolog libraries.

Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.

Ciao is a general purpose, multi-paradigm programming language in the Prolog family

End-to-End Differentiable Proving

:crossed_swords: Game of Thrones character database and family trees in Prolog

Uncategorized utilities

random stuff in prolog

:books: codes written while learning them.

Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.

Higher Order Prolog with Extensional Semantics

cplint is a suite of programs for reasoning with probabilistic logic programs

Prolog implementation based on Warren's abstract machine

:bamboo: Universal, Multi Language, Multi Paradigm code analyzer

Run SWI-Prolog in your browser using WebAssemply

A Julia package for Prolog-style logic programming.

SWI-Prolog ported to WebAssembly

Prolog HTTPS Servers

Basics of relational programming with Prolog —PROgramming in LOGic ^_^

A terse Prolog course

Readings on computational logic, interactive theorem proving and functional programming.

Emacs Does Interactive Prolog

The Eldarica model checker

🖖 Prolog-style Logic Programming in pure R

:slot_machine: University projects and homework.

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

Several projects for the Artificial Intelligence course, with topics such as Recommender and Rule-based Systems, Ontologies and Natural Language Processing.

Boolean Constraint Solving in Prolog

Python library that enables using prolog syntax and logic programming in python

A Prolog implementation in D language

IRC Bot Written in Prolog

Blogging/CMS framework for SWI-Prolog.

Java-based Prolog Engine with GUI Editor

Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.

Regular expressions for Prolog

Prolog Reverse Proxy

Prolog puzzles for fun and profit (mostly fun)

A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.

Disassembled code of SPECTRUM micro-PROLOG T1.0

Call Julia code from Prolog

Apply and compose functions in Prolog

Fuzzy Aggregators and Similarity Into a Logic Language

All the homeworks, studies and projects I've done at Metu-CENG

CLP(Set) in miniKanren

Yet Another Software Language Repository

🇬🇧 A !serious adventure for the Ununited Kingdom written in prolog

:books:Life at UNI

Prolog interpreter/compiler

Randomized testing for Prolog à la QuickCheck

Set of awesome Prolog Examples

DALI Multi Agent System Framework

:scroll: A fully functional Othello (Reversi) game, with several AIs, made in prolog for swipl.

A simple Prolog API for the Z3 constraint solver

Rescuing the SOUL great logic meta programming language

A Wumpus World in c# and prolog with a GUI

Javascript porting of Paul Tarau latest Prolog Engine architecture

Yet Another Efficient Unification Algorithm

A Node.js interface to the SWI-Prolog communicating over stdio.

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

Logica is a logic programming language that compiles to StandardSQL and runs on Google BigQuery.

A new logic programming language.

Rust implementation of µKanren, a featherweight relational programming language.

Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.

GNU-Make-like utility for managing builds and complex workflows

Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.

RTEC is an Event Calculus implementation optimised for stream reasoning

A Kotlin Multi-Platform ecosystem for symbolic AI

A list of resources that cross the disciplines of Computer Science and Philosophy

logic programming with SPARQL

A prolog like syntax for egg

MUD Server written in Prolog using Forward chaining

Prolog programming for the Java platform.

A program that allows you to translate neural networks created with Keras to fuzzy logic programs, in order to tune these networks from a given dataset.

Basic Prolog functionality for Common Lisp

Simple timetabling engine for schools

Marcel Robeer (2015-2019) *** Developed for Utrecht University RE Lab