(Prolog + LISP + Erlang) with integration issues versus C++

[Marc Feeley]

On 25-Aug-05, at 9:10 PM, Richard A. O'Keefe wrote:

> Poplog used to be sold by Integrated Solutions Ltd.  It has been used
> in a number of important products.  For example the SPARK verifier for
> Ada is written in Poplog.  These days, however, Poplog is Open Source.
>
> This doesn't do anything about Erlang.  (Given that there is or was
> an Erlang-to-Scheme project and that Scheme is not _that_ different
> from Common Lisp, it strikes me that it should be possible to develop
> an Erlang environment for Poplog.)
>

Another option is to use Termite, which is an integration in Scheme  
of Erlang's concurrency model, with some extensions such as process  
migration (see http://lisp-ecoop05.bknr.net/submission/19654).  You  
can then get Schelog (http://www.math.purdue.edu/~lucier/software/ 
schelog/) to run Prolog on top of Scheme.  This would give you a  
single environment to run Lisp, Erlang and Prolog.  Since all of this  
is based on Gambit-C, you get portability and good performance, and  
you can link with C/C++ code using the Foreign Function Interface.

Marc