Compiling Residuation for a Multiparadigm Symbolic Programming Language

This paper describes a new compilation method for the residuation mechanism underlying a multiparadigm language. Furthermore, it proposes the constraint functional and functional logic paradigms for the programming language of symbolic computation systems.The integration of functional and logic programming for the programming language of the symbolic computation system AlgBench is demonstrated using the residuation evaluation mechanism. The proposed multiparadigm language LAB could serve as a stand alone programming language. We present a residuation compiler and a collection of new commands and structures for a uniform abstract machine, an extension of the Warren's Abstract Machine (WAM), with a common memory for both functional and logic programms. Our implementation is done in an object-oriented way and it shows that the proposed approach and optimizations leads to a better execution and evaluation performance.