Implementing Fril++ for Uncertain Object-Oriented Logic Programming


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