FRDCSA
Minor
Internal
External
Git
Packages
dprolog
Jump To:
Parent Description
Related Systems:
mepk
mleantap
molog
An extension of prolog that allows rules to be labelled with a belief (a real number between 0 and 1 inclusive) and given a label so that proofs can be generated with a belief attached to them and rules can argued about.