search

friguzzi / cplint

cplint is a suite of programs for reasoning with probabilistic logic programs
Other
67 stars 14 forks source link

Added some predicates to the interface. #8

Closed frnmst closed 7 years ago

frnmst commented 7 years ago

I have exported some predicates that are used by the cplint-r library.

This avoids duplicating predicates in the cplint-r library itself. The only thing to do instead is:

use_module(library(mcintyre)).
use_module(library(pita)).