Abstract: This paper describes a proposal for a deductive database system with fuzzy Datalog as its query language. Concepts supporting the fuzzy logic programming system Bousi~Prolog are tailored to ...

This is a modification of Tim Finin's PFC. The Pfc system is a package that provides a forward reasoning capability to be used together with conventional Prolog programs. The Pfc inference rules are ...

Verónica Dahl is an Argentine/Canadian mother, educator, literary writer, musician, composer and computer scientist who is recognized as one of the 15 founders of the field of logic programming. Her ...