|
|
 | | From: | Ulrich Scholz | | Subject: | use of OBDDs in a prolog program | | Date: | 23 Jan 2005 06:04:46 -0800 |
|
|
 | Hi everybody.
I think of exploring the use of OBDDs in Prolog programs. I'm looking
for an OBDD package that is either written in Prolog or has a good
interface to Prolog. One requirement is the ability to use
backtracking.
Does anyone have experience with OBDDs and Prolog? BTW, I'm using
ECLiPSe Prolog.
Thank you, Uli
|
|
| | From: | Sathiamoorthy Subbarayan | | Subject: | Re: use of OBDDs in a prolog program | | Date: | 23 Jan 2005 11:59:32 -0800 |
|
|
| Hi Uli,
The following links may be of use to you.
http://www.itu.dk/research/muddy/
http://bddbddb.sourceforge.net/
Cheers,
Sathi
Ulrich Scholz wrote:
> Hi everybody.
>
> I think of exploring the use of OBDDs in Prolog programs. I'm
looking
> for an OBDD package that is either written in Prolog or has a good
> interface to Prolog. One requirement is the ability to use
> backtracking.
>
> Does anyone have experience with OBDDs and Prolog? BTW, I'm using
> ECLiPSe Prolog.
>
> Thank you, Uli
|
|
|
