Implementing Fril++ for Uncertain Object-Oriented Logic Programming
JF Baldwin, TH Cao, T. Patrick Martin, Jonathan Michael Rossiter · 2000
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, ones of uncertain, multiple, and overriding inheritance, are discussed and solutions to them are proposed. The implemented translator converting a Fril++ source program to a Fril target program is then presented with examples. 1 Introduction It is now widely accepted that taxonomic information, and in particular class hierarchies, is an important part of a knowledge base. This is not only because objects in the real world are naturally associated with classes, but also because taxonomic information helps to organise knowledge through classification and provid...