A description is given of an interface that was developed between Loops and Xerox Quintus Prolog. Loops is an extension to the Xerox AI environment to support object-oriented programming; Xerox Quintus Prolog is a version of Prolog that runs on Xerox Lisp machines. Such a bridge enables all the support tools of both environments to be accessed, and degradation of performance that occurs when one language is implemented top of another is avoided. The interface has three layers. At the lowest level, a set of Prolog predicates gives the Prolog programmer access to Loops objects. This lowest level is the bridge from Prolog to Loops. At the next level, programming tools in the Loops environment let object methods be defined in Prolog. At the hig...
We discuss P#, our implementation of a tool which allows interoperation between a concurrent superse...
Abstract. Modern software often relies on the combination of several software modules that are devel...
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A mult...
Object-oriented programming has often been advocated as a means of improving and enhancing the facil...
Logic programming is a discipline of describing problems in high-level abstraction by separating lo...
There have been several previous proposals for the integration of Object Oriented Programming featur...
Logic languages are well suited for declaratively solving computational problems that require knowle...
This paper describes the OPLA language, an object-oriented (OO) logic programming language layered o...
[EN]Programming languages seldom find proper anchorage in philosophy of logic, language and science....
Abstract Both logic programming in general and Prolog in particular have a long and fascinating hist...
Both logic programming in general and Prolog in particular have a long and fascinating history, inte...
The implementation of Prolog systems has a long history, from the first interpreter written in 1972 ...
This dissertation seeks to improve on the state of the art for creating systems integrating modules ...
Logic languages excel for problems that can be defined declaratively, e.g. applications that require...
Prolog was invented in the early seventies at the University of Marseille. Prolog stands for PROgram...
We discuss P#, our implementation of a tool which allows interoperation between a concurrent superse...
Abstract. Modern software often relies on the combination of several software modules that are devel...
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A mult...
Object-oriented programming has often been advocated as a means of improving and enhancing the facil...
Logic programming is a discipline of describing problems in high-level abstraction by separating lo...
There have been several previous proposals for the integration of Object Oriented Programming featur...
Logic languages are well suited for declaratively solving computational problems that require knowle...
This paper describes the OPLA language, an object-oriented (OO) logic programming language layered o...
[EN]Programming languages seldom find proper anchorage in philosophy of logic, language and science....
Abstract Both logic programming in general and Prolog in particular have a long and fascinating hist...
Both logic programming in general and Prolog in particular have a long and fascinating history, inte...
The implementation of Prolog systems has a long history, from the first interpreter written in 1972 ...
This dissertation seeks to improve on the state of the art for creating systems integrating modules ...
Logic languages excel for problems that can be defined declaratively, e.g. applications that require...
Prolog was invented in the early seventies at the University of Marseille. Prolog stands for PROgram...
We discuss P#, our implementation of a tool which allows interoperation between a concurrent superse...
Abstract. Modern software often relies on the combination of several software modules that are devel...
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A mult...