Pinned Repositories
aleph
Port of Aleph to SWI-Prolog
bddem
bddem is a SWI-Prolog pack for using Binary Decision Diagrams
cplint
cplint is a suite of programs for reasoning with probabilistic logic programs
cplint_datasets
Datasets for cplint
liftcover
Liftcover probabilistic inductive logic programming system
matrix
Operations with matrices, SWI pack
pascal
Probabilistic inductive constraint logic
plp-slides
Slides for the book Foundations of Probabilistic Logic Programming
swish
SWI-Prolog for SHaring: a SWI-Prolog web IDE
trill-on-swish
The Trill probabilistic ontology reasoner on SWISH
friguzzi's Repositories
friguzzi/plp-slides
Slides for the book Foundations of Probabilistic Logic Programming
friguzzi/cplint_datasets
Datasets for cplint
friguzzi/mpi
Porting of the LAMMPI library of Yap Prolog to SWI-Prolog
friguzzi/aixia-research
Code for analyzing the research of AI*IA members
friguzzi/lam_mpi
Porting of the LAMMPI library of Yap Prolog to SWI-Prolog
friguzzi/aixiasub
friguzzi/gcaldironilemur
friguzzi/mail_merge
SWI-Prolog library for performing mail merge
friguzzi/matrix-yap
Operations with matrices, ported from Yap to SWI
friguzzi/moderncv
A modern curriculum vitae class for LaTeX
friguzzi/rserve-sandbox
Docker spec for running Rserve in a sandbox
friguzzi/swipl-devel
Main development repository
friguzzi/tutorials-scikit-learn
Scikit-Learn tutorials
friguzzi/yap-6.3
YAP Development release