cplint on SWISH

[Fabrizio Riguzzi]

Dear all,

I have modified SWISH to run cplint. You can now try cplint online at

http://cplint.lamping.unife.it/

You can perform inference from Logic Programs with Annotated Disjunctions and CP-Logic, two probabilistic extensions of Prolog, 

In these formalisms, you are interested in the probability that a query is true.

If you pose a non-ground query, an instantiation is returned besides the probability but you can't currently ask for more solutions.

Check out the examples, the help and look at the manual 

http://ds.ing.unife.it/~friguzzi/software/cplint/manual.html

for more details and references.

If you have any comments please write me.

Best

Fabrizio