.
FRDCSA | external codebases | dprolog-20180803
Homepage

[Project image]
dprolog-20180803

Jump to: Project Description

Project 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.


This page is part of the FWeb package.
Last updated Sat Oct 26 16:57:03 EDT 2019 .