[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: fd variable domain stack
|
From: |
Re'my Haemmerle' |
|
Subject: |
Re: fd variable domain stack |
|
Date: |
Wed, 10 Dec 2003 13:42:32 +0100 |
|
User-agent: |
Mozilla/5.0 (compatible;MSIE 5.5; Windows 98) |
Hi,
> Can you tell me how fd the last information about fd domain is
> recorded for backtracking?
> I looked for a stack of such information in vain. Is it implemented in
> EngineFD folder or elsewhere?
> Is there any documentation telling me the structure of gprolog and FD?
You might have a look at the 2 following papers :
* "Compiling Constraints in clp(FD)"
ftp://ftp.inria.fr/INRIA/Projects/contraintes/publications/CLP-FD/jlp96.ps
* "Design and Implementation of the GNU Prolog System"
ftp://ftp.inria.fr/INRIA/Projects/contraintes/publications/GNU-PROLOG/jflp01.ps
Best,
Remy.
--
Remy Haemmerle <address@hidden> doctorant (Phd student)
Projet Contraintes - INRIA Rocquencourt Tel: (+33) 1 39 63 51 91
Domaine de Voluceau, Rocquencourt, BP 105 Fax: (+33) 1 39 63 54 69
78153 Le Chesnay Cedex - FRANCE