A simple client-side code evaluator pluggable on any web page: clojure, ruby, javascript, python, scheme, es2017, jsx…
Clojure
Updated Mar 12, 2019
Introduction to modern Prolog
HTML
Updated Mar 16, 2019
Some simple examples for new Prolog programmers
Prolog
Updated Dec 31, 2018
⚡️ Curated list of Prolog packages and resources
Updated Jan 11, 2019
An in-memory datalog implementation for OCaml.
Prolog
Updated Mar 13, 2019
An open source Prolog interpreter in JavaScript
JavaScript
Updated Mar 21, 2019
My public programs and models - mostly combinatorial problems and puzzles
Prolog
Updated Mar 14, 2019
My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos,…
Prolog
Updated Nov 12, 2018
PySWIP is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomple…
Python
Updated Feb 24, 2019
Logtalk - declarative object-oriented logic programming language
Prolog
Updated Mar 22, 2019
A modern Prolog implementation written mostly in Rust.
Rust
Updated Mar 22, 2019
Translate XML Schema into equivalent JSON Schema
Prolog
Updated Mar 7, 2019
Interpreter for a simple Lisp. Written in Prolog.
Prolog
Updated Aug 1, 2017
Free and open source A.I. system based on Python, TensorFlow and Prolog.
Prolog
Updated Jan 7, 2019
Constraint Logic Programming over Finite Domains
Prolog
Updated Jan 2, 2017
A terse declarative logic programming language
Prolog
Updated Mar 4, 2019
Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less tha…
Common Lisp
Updated Jan 29, 2019
Uncategorized utilities
Python
Updated Jan 5, 2019
End-to-End Differentiable Proving
NewLisp
Updated Nov 21, 2018
The Ciao programming language
Prolog
Updated Mar 14, 2019
Higher Order Prolog with Extensional Semantics
Haskell
Updated Jun 17, 2017
📚 codes written while learning them.
Haskell
Updated Mar 17, 2019
Constraint Logic Programming over Integers
Prolog
Updated Dec 12, 2017
Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.
JavaScript
Updated Sep 18, 2018
👓 Universal, Multi Language, Multi Paradigm code analyzer
Haskell
Updated Mar 13, 2019
Prolog HTTPS Servers
Prolog
Updated Feb 11, 2018
cplint is a suite of programs for reasoning with probabilistic logic programs
Prolog
Updated Mar 15, 2019
custom type systems for python in prolog:
http://alehander42.me/prolog_type_systems
Python
Updated Jun 10, 2016
SWI-Prolog ported to WebAssembly
HTML
Updated Jun 21, 2018
Emacs Does Interactive Prolog
Emacs Lisp
Updated Jul 17, 2018
