I: an integrated programming language

This paper presents an integrated programming language I which incorporates the logic and the functional paradigms in an object-oriented framework. Our integration technique is based on dividing objects as either logic or functional objects. Methods in logic objects are modified Horn clauses which can invoke methods in functional objects. Methods in functional objects are applicative functions and are permitted to invoke methods in logic objects. The object-oriented nature makes methods be inheritable and have distributed execution environment (object). In addition, different levels of parallelism can be exploited in I. >