JeanChristopheRohner

JeanChristopheRohner's Stars

• SWI-Prolog/swish

  SWI-Prolog for SHaring: a SWI-Prolog web IDE

  Language:Prolog49233142129

• 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.

  Language:Python459349697

• LogtalkDotOrg/logtalk3

  Logtalk - declarative object-oriented logic programming language

  Language:Prolog414337430

• yusanshi/emgithub

  Embed a file from GitHub repository just like GitHub Gist.

  Language:HTML40252776

• ML-KULeuven/problog

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

  Language:Python306258734

• robertkrimen/gist-it

  An AppEngine app to embed files from a github repository like a gist

  Language:Python280151643

• logic-and-learning-lab/Popper

  An inductive logic programming system

  Language:Python192196729

• triska/clpz

  Constraint Logic Programming over Integers

  Language:Prolog177112714

• wo/tpg

  Tree Proof Generator

  Language:JavaScript15073020

• dtonhofer/prolog_notes

  Some notes taken while working on Prolog

  Language:Prolog14910421

• simply-logical/simply-logical

  Online, interactive edition of the "Simply Logical" Prolog textbook

  Language:Prolog112111222

• thuwzy/Neural-Symbolic-and-Probabilistic-Logic-Papers

  A curated paper list on neural symbolic and probabilistic logic.

  1078112

• stassa/louise

  Polynomial-time Meta-Interpretive Learning

  Language:Prolog941237

• sebdumancic/pylo2

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

  Language:Python841377

• friguzzi/cplint

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

  Language:Prolog66112914

• joschout/RelationalDatasets

  A largely incomplete but hopefully useful list of links to datasets for relational learning and inductive logic programming. No guarantees on availability.

  47704

• friguzzi/aleph

  Port of Aleph to SWI-Prolog

  Language:Prolog429914

• ridgeworks/clpBNR

  CLP(BNR) module for SWI-Prolog

  Language:Prolog394196

• SWI-Prolog/npm-swipl-wasm

  SWI-Prolog WebAssembly build as a NPM package

  Language:JavaScript315343

• prologbyexample/code

  Language:Prolog27201

• SWI-Prolog/sCASP

  Top-down interpreter for ASP programs with Constraints

  Language:Prolog21583

• celinehocquette/magicpopper

  C. Hocquette and A. Cropper, Learning programs with magic values.

  Language:Prolog174101

• RdR1024/prolog2gpt

  SWI Prolog library to interface to the GPT API

  Language:Prolog15312

• celinehocquette/numsynth-aaai23

  C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.

  Language:Prolog12200

• friguzzi/matrix

  Operations with matrices, SWI pack

  Language:Prolog12512

• tau-prolog/draw-derivation-trees

  A tool for drawing derivation trees of Tau Prolog

  Language:JavaScript11422

• 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"

  Language:Java9300

• samwalrus/machine_learning

  basic machine learning algorithms in prolog

  Language:Prolog4202

• samwalrus/scasp_tests

  Playing with scasp

  Language:Prolog3310

• samwalrus/mr_logic

  A repo for exploring the relationship between mendelian randomization and logic programming

  Language:Prolog2200