[PPL-devel] [Fwd: Re: [Yap-users] Maximum number of foreign predicates?]
bagnara at cs.unipr.it
Mon Sep 29 17:13:51 CEST 2008
-------- Original Message --------
Subject: Re: [Yap-users] Maximum number of foreign predicates?
Date: Mon, 29 Sep 2008 00:04:21 +0100
From: Vítor Santos Costa <vsc at dcc.fc.up.pt>
To: Roberto Bagnara <bagnara at cs.unipr.it>
CC: yap-users at lists.sourceforge.net
References: <48BC4A08.3060407 at cs.unipr.it>
Hi Roberto (and yap-users)
Sorry for taking so long to reply.
I include a patch that seems to fix this bug for me. The patch and
recent changes can also be found at
The patch tries to handle DB overflows that may happen when you try to
initialise a very large number of predicates. Please tell me if it
This is a temporary location: yap has now moved to a git development
model, and temporarily I am using gitorious to keep a copy.
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: Attached Message Part
More information about the PPL-devel