O-Logic

O-Logic

An object-oriented deductive language/database system.
References in periodicals archive ?
The object-oriented approach was first applied to a deductive framework in O-logic (Object Logic) [Maier 1986], which was in turn based on the logic programming language LOGIN [Ait-Kachi and Nasr 1986].
An extended O-logic based on O-logic was first proposed in Kifer and Wu [1993], followed by a more general F-logic (Frame Logic) in Kifer and Lausen [1989] and Kifer et al.
Unlike O-logic, which only supports simple attributes, F-logic supports parameterized attributes.