The implementation of Fprolog—A fuzzy Prolog interpreter

To give the system greater flexibility, the fuzzy Prolog interpreter can link with the Fril system developed at Bristol, yielding a powerful language with breadth-first and depth-first search capabilities.

Abstract

Prolog, a programming language based on the first order predicate calculus, has been widely used in artificial intelligence research. One of its shortcomings is the lack of a natural mechanism to deal with uncertainty. A possible solution to this problem, outlined here, is to base Prolog on fuzzy logic rather than on conventional two-valued logic. This leads to a more general system, of which standard Prolog is a special case. To give the system greater flexibility, the fuzzy Prolog interpreter can link with the Fril system developed at Bristol, yielding a powerful language with breadth-first and depth-first search capabilities.