Home > Archive > Prolog > March 2005 > Car-sequencing problem
You are viewing an archived Text-only version of the thread.
To view this thread in it's original format and/or if you want to reply to
this thread please [click here]
| Author |
Car-sequencing problem
|
|
|
| Hi all,
I'm trying to learn Prolog because I must develop an application for
my thesis. In particular I must plan a solver in order to resolve the
problem of the car-sequencing, with Fuzzy variables.
Perhaps someone has the code for the resolution of this problem in
Amzi! Prolog? I've found an example written in BProlog but some
functions are not standard of Prolog.
For example, the declaration:
domain(Y,0,1)
or
atmost(1,X,1)
or
element(X1,L1,O11)
not exists in Amzi Prolog.
Thanks for the patience,
Paul
| |
|
| On 12 Mar 2005 07:04:51 -0800, domisol@email.it (Paolo) wrote:
>Hi all,
>I'm trying to learn Prolog because I must develop an application for
>my thesis. In particular I must plan a solver in order to resolve the
>problem of the car-sequencing, with Fuzzy variables.
>Perhaps someone has the code for the resolution of this problem in
>Amzi! Prolog? I've found an example written in BProlog but some
>functions are not standard of Prolog.
>For example, the declaration:
>
>domain(Y,0,1)
>
>or
>
>atmost(1,X,1)
>
>or
>
>element(X1,L1,O11)
>
>not exists in Amzi Prolog.
>
>Thanks for the patience,
The above "functions" are part of BProlog CLP(FD) (finite domain
constraint) solver. Amzi doesn't have such solver. Therefore, either
a) you stay with BProlog, or b) Do It Yourself. For how to
implement constraint solver in standard Prolog see Roman Bartak's
page
http://kti.mff.cuni.cz/~bartak/html/constraints.html
specifically the following section
"CSP (Constraint Satisfaction Problems) (1996)
The program implements a skeleton for labeling, the main part of CSP
solvers. You need to include a plug-in module containing a
constraint solver to get a specific labeling procedure. Two examples
of plug-in modules are enclosed.
PROLOG source code of labeling kernel
plug-in module for constraints over integers (backtracking)
plug-in module for constraints over integers (forward checking)
Word Puzzle Solver
This is a program, based on CSP, for solving word puzzles. Example
of usage is enclosed.
PROLOG source code of Word Puzzle Solver
word puzzle example..."
However, I would suggest to use Prolog that has already FD solver
implemented. You can use GNU Prolog, Eclipse, SICStus and BProlog.
It seems that there is constraint solver in Ciao Prolog and SWI
Prolog, but I am not sure. These Prologs are either free or have
free academic licenses.
A.L.
| |
|
| A.L. <alewando_tego_nie@oddpost_tego_tez_nie.com> wrote in message news:<d546319nsapsc7r3lftuu5b094tje8c8hl@4ax.com>...
> On 12 Mar 2005 07:04:51 -0800, domisol@email.it (Paolo) wrote:
>
>
> The above "functions" are part of BProlog CLP(FD) (finite domain
> constraint) solver. Amzi doesn't have such solver. Therefore, either
> a) you stay with BProlog, or b) Do It Yourself. For how to
> implement constraint solver in standard Prolog see Roman Bartak's
> page
>
> http://kti.mff.cuni.cz/~bartak/html/constraints.html
>
> specifically the following section
>
> "CSP (Constraint Satisfaction Problems) (1996)
>
> The program implements a skeleton for labeling, the main part of CSP
> solvers. You need to include a plug-in module containing a
> constraint solver to get a specific labeling procedure. Two examples
> of plug-in modules are enclosed.
>
> PROLOG source code of labeling kernel
> plug-in module for constraints over integers (backtracking)
> plug-in module for constraints over integers (forward checking)
> Word Puzzle Solver
>
> This is a program, based on CSP, for solving word puzzles. Example
> of usage is enclosed.
>
> PROLOG source code of Word Puzzle Solver
> word puzzle example..."
>
> However, I would suggest to use Prolog that has already FD solver
> implemented. You can use GNU Prolog, Eclipse, SICStus and BProlog.
> It seems that there is constraint solver in Ciao Prolog and SWI
> Prolog, but I am not sure. These Prologs are either free or have
> free academic licenses.
>
> A.L.
Thank you very much, I will give one reading deepened to the link.
|
|
|
|
|