Pseudo-Boolean valued prolog

Logic programming has generally been developed in a Classical two-valued setting; there are no “degrees of truth”. What we propose here is the introduction of more general spaces of truth values, reading truth values as “evidence factors”. Then conventional logic programming may be seen as the special case in which only total evidence is acceptable, and so the space of evidences degenerates to two values: evidence for; no evidence for.