On the Implementation of Fril++ for Object-Oriented Logic Programming with Uncertainty and Fuzziness


Uncertain and fuzzy object-oriented logic programming is a combination of logic programming, object-oriented programming, and uncertain and fuzzy logic to exploit the advantages of all three disciplines in dealing with real world problems. This paper presents our implementation of Fril++, the Fril-based uncertain and fuzzy object-oriented logic programming language. Fril++ syntax is introduced and related semantic issues, particularly, ones of uncertain multiple inheritance and uncertain membership evaluation, are discussed and solutions to them are proposed. The implemented compiler translating a Fril++ source program into a Fril target program is then presented with examples.