Requirements for an Imperative Language to Host Logic Programming in a Seamless Way


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… (More)
DOI: 10.1145/242604.242619