users-prolog
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: C++

From: Roberto Bagnara
Subject: Re: C++
Date: Fri, 16 Nov 2012 19:09:09 +0100
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.12) Gecko/20050929 Thunderbird/1.0.7 Fedora/1.0.7-1.1.fc4 Mnenhy/0.7.3.0 
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:address@hidden
                              BUGSENG srl - http://bugseng.com
                              mailto:address@hidden
reply via email to
[Prev in Thread] Current Thread [Next in Thread]