YAP
7.1.0
YAP packages
realxplxc
BDDs
gecode
myddas
PFL
ProbLog1
Python
raptor
YAP-LBFGS
yap-udi-indexers
Leuven packages ported from SWI-Prolog:
chr
clpqr
YAP 7.1.0 Reference Manual
Generated by
1.9.3