[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: fd2c doc
From: |
Daniel Diaz |
Subject: |
Re: fd2c doc |
Date: |
Tue, 16 Oct 2001 13:37:45 +0200 |
fd2c input file format is not (yet) documented. You can find several
examples in the src distribution, e.g.
ftp://ftp.inria.fr/INRIA/Projects/contraintes/gprolog/unstable/gprolog-1.2.7.tar.gz
in /src/BipsFD/ look at the files .fd and also a file summarizing the
grammar in Fd2C/FD_SYNTAX. If you don't know anything about FD
constraints (and X in r primitive) you can consult the following article
P. Codognet and D. Diaz. "Compiling Constraints in clp(FD)". Journal of
Logic Programming, Vol. 27, No. 3, June 1996.
ftp://ftp.inria.fr/INRIA/Projects/loco/publications/clp_fd/long_clp_fd.ps
Hope this helps
Hector Palacios a écrit :
>
> Please, if some body have documentacion about fd2c
> syntax and semantic.
>
> Thanks in advance.
>
> --
> /--------------------------------------------------------------------------\
> | Artificial Intelligence Group | He venido para que tengan vida, y la |
> | Universidad Simon Bolivar | tengan en abundancia. Jesus de Nazaret |
> |---------------------------------------------------------------------------|
> | Hector Luis Palacios Verdes | address@hidden, address@hidden |
> \--------------------------------------------------------------------------/
>
> _______________________________________________
> Users-prolog mailing list
> address@hidden
> http://mail.gnu.org/mailman/listinfo/users-prolog
--
Daniel Diaz address@hidden
http://pauillac.inria.fr/~diaz
gprolog --version 2>&1 | sed -n -e 's/By //p'
- fd2c doc, Hector Palacios, 2001/10/16
- Re: fd2c doc,
Daniel Diaz <=