kirancodes.me
To Proof Maintenance & Beyond!

An Experience with a Prolog-based Object-Oriented Language

Koichi Fukunaga, Shin'ichi Hirose

Abstract

This paper presents an experience with a programming language SPOOL which is based on the combination of object-oriented programming and logic programming. This language inherits the capability of knowledge base organization from object-oriented programming and its expressive power from logic programming.

Related papers