Re: C++
Roberto Bagnara <[email protected]>
| Newsgroups | gmane.comp.gnu.prolog.general |
|---|---|
| Organization | Department of Mathematics and Computer Science, University of Parma, Italy |
| Message-ID | <[email protected]> |
On 11/12/12 15:48, mcculloch wrote:
> Has anyone successfully called C++ from gprolog? I searched for C++ and got
> lots of results that have nothing to do with C++. Well I tried. I tried
> calling C code and it works great.
We did this in the Parma Polyhedra Library. See the web site
for full information (including source code):
http://bugseng.com/products/ppl/
Kind regards,
Roberto Bagnara
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy
mailto:[email protected]
BUGSENG srl - http://bugseng.com
mailto:[email protected]