JeanChristopheRohner's Stars
SWI-Prolog/swish
SWI-Prolog for SHaring: a SWI-Prolog web IDE
yuce/pyswip
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.
LogtalkDotOrg/logtalk3
Logtalk - declarative object-oriented logic programming language
yusanshi/emgithub
Embed a file from GitHub repository just like GitHub Gist.
ML-KULeuven/problog
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
robertkrimen/gist-it
An AppEngine app to embed files from a github repository like a gist
logic-and-learning-lab/Popper
An inductive logic programming system
triska/clpz
Constraint Logic Programming over Integers
wo/tpg
Tree Proof Generator
dtonhofer/prolog_notes
Some notes taken while working on Prolog
simply-logical/simply-logical
Online, interactive edition of the "Simply Logical" Prolog textbook
thuwzy/Neural-Symbolic-and-Probabilistic-Logic-Papers
A curated paper list on neural symbolic and probabilistic logic.
stassa/louise
Polynomial-time Meta-Interpretive Learning
sebdumancic/pylo2
Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
friguzzi/cplint
cplint is a suite of programs for reasoning with probabilistic logic programs
joschout/RelationalDatasets
A largely incomplete but hopefully useful list of links to datasets for relational learning and inductive logic programming. No guarantees on availability.
friguzzi/aleph
Port of Aleph to SWI-Prolog
ridgeworks/clpBNR
CLP(BNR) module for SWI-Prolog
SWI-Prolog/npm-swipl-wasm
SWI-Prolog WebAssembly build as a NPM package
prologbyexample/code
SWI-Prolog/sCASP
Top-down interpreter for ASP programs with Constraints
celinehocquette/magicpopper
C. Hocquette and A. Cropper, Learning programs with magic values.
RdR1024/prolog2gpt
SWI Prolog library to interface to the GPT API
celinehocquette/numsynth-aaai23
C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.
friguzzi/matrix
Operations with matrices, SWI pack
tau-prolog/draw-derivation-trees
A tool for drawing derivation trees of Tau Prolog
simonkrenger/ch.bfh.bti7064.w2013.PrologParser
A proof-of-concept parser for the Prolog programming language, at the Bern University of Applied Sciences for the course "Automata and formal languages"
samwalrus/machine_learning
basic machine learning algorithms in prolog
samwalrus/scasp_tests
Playing with scasp
samwalrus/mr_logic
A repo for exploring the relationship between mendelian randomization and logic programming