Fabrizio Riguzzi friguzzi

Achievements

friguzzi/README.md

🎊 I'm a big fan of Prolog, Haskell, Java, and Python.
🔭 I’m currently working on probabilistic logic programming and statistical relational artificial intelligence
🌱 I’m currently learning Copilot

cplint cplint Public

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

Prolog 87 16
bddem bddem Public

bddem is a SWI-Prolog pack for using Binary Decision Diagrams

C 13 3
swish swish Public

Forked from SWI-Prolog/swish

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

Prolog 7 5
pascal pascal Public

Probabilistic inductive constraint logic

Prolog 5 1
liftcover liftcover Public

Liftcover probabilistic inductive logic programming system

Prolog 6 2

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

There was an error while loading. Please reload this page.