Car-sequencing problem

From: Paolo (domisol_at_email.it)
Date: 03/12/05 

Date: 12 Mar 2005 07:04:51 -0800

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

Relevant Pages

  • Re: How do I link Visual Prolog and Visual Basic?
    ... AMZI Prolog does this. ... the logic server. ... > programming tool to use. ...
    (comp.lang.prolog)
  • Re: Car-sequencing problem
    ... >I'm trying to learn Prolog because I must develop an application for ... In particular I must plan a solver in order to resolve the ... implement constraint solver in standard Prolog see Roman Bartak's ... PROLOG source code of Word Puzzle Solver ...
    (comp.lang.prolog)
  • Re: Car-sequencing problem
    ... >>I'm trying to learn Prolog because I must develop an application for ... In particular I must plan a solver in order to resolve the ... > implement constraint solver in standard Prolog see Roman Bartak's ... > PROLOG source code of Word Puzzle Solver ...
    (comp.lang.prolog)
  • Re: CLP language for solving IP problem
    ... So you can try the MIP solver in case ... In a few weeks/months I'm going to solve an integer programming problem ... I had to write some simple programs in Prolog. ... GNU/Linux platforms (that's very good news, ...
    (comp.lang.prolog)
  • Re: Commercial uses of prolog (to convince my boss its valid)
    ... >commercial uses of prolog. ... SWI doesn't have the FD solver yet (at least, ... The best candidates for solving constraint are ... All are "industrial strength". ...
    (comp.lang.prolog)