FRDCSA
Minor
Internal
External
Git
Packages
dprolog-master-20160429
Jump To:
Parent Description
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.