Requirements for an imperative language to host logic programming in a seamless way
Giuseppe Callegarin · ACM SIGPLAN Notices · 1996
Designing a widely acceptable multiparadigm language is still a challenging task. A critical problem is the choice of the linguistic tools by means of which the programmer can make the different paradigms "communicate" with each other. The framework for integrating logic and commands presented in this paper is simple and can also be a good starting point toward the integration of objects, functions and constraints. This scheme is effective: it has been used for implementing a small but representative educational multiparadigm language.