[PPL-devel] PPL and SWI-Prolog >= 7.1.x?

[Roberto Bagnara]

Hello Fred.

On 27/08/2014 08:36, Fred Mesnard wrote:
> does PPL work with SWI-Prolog >= 7.1.x?

The Git version of the PPL does work with SWI-Prolog 7.*.
The same will hold for PPL 1.2, to be released soon.
Meanwhile, please fetch a PPL 1.2 snapshot from

  http://bugseng.com/products/ppl/download/ftp/snapshots/

and check whether it works for you.
Please let us know.
Kind regards,

   Roberto

-- 
     Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara at bugseng.com