Re: bug in clp(q,r) library

From: Tom Schrijvers <toms@xxxxxxxxxxxxxxxxx>
Date: Fri, 11 Aug 2006 09:36:30 +0200

Andrey Rybalchenko wrote:

Dear group,

Any ideas why clp(q,r) throws an exception on this constraint?

% loaded /opt/lib/sicstus-3.12.5/library/clpq.po in module clpq, 30 msec 437256 bytes
yes
| ?- {_159544+_3520*_159542+_3443*_159540=0,_2586*_127665+_2509*_127663=_3520,_2586*_126412+_2509*_126410=_3443,_2586*_94624+_2509*_94622=_2586, -_94626+_2584*_94624+_2507*_94622=_2584,_93345>=0,-_93349+_93347*_2661+_93345*_2659=<_2659+_2509+_2507,_2586*_93347+_2509*_93345=_2509, -_93349+_2584*_93347+_2507*_93345=_2507,_159544=1,_159540=1,_127665=0,_126412=1,_94626=1,_94624=1,_94622=1,_93349=1}.

! Type error in argument 1 of user:'$get_attributes'/3
! variable expected, but 2 found
! goal: '$get_attributes'(2,_77,_78)
| ?-

For what it's worth, clp(q) seems to work for your query in SWI-Prolog:

$ pl
% /home/toms/.plrc compiled 0.00 sec, 1,240 bytes
Welcome to SWI-Prolog (Multi-threaded, Version 5.6.17)
Copyright (c) 1990-2006 University of Amsterdam.
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?- use_module(library(clpq)).
% library(clpq) compiled into clpq 0.12 sec, 379,520 bytes

Yes
?- {_159544+_3520*_159542+_3443*_159540=0,_2586*_127665+_2509*_127663=_3520,_2586*_126412+_2509*_126410=_3443,_2586*_94624+_2509*_94622=_2586, -_94626+_2584*_94624+_2507*_94622=_2584,_93345>=0,-_93349+_93347*_2661+_93345*_2659=<_2659+_2509+_2507,_2586*_93347+_2509*_93345=_2509, -_93349+_2584*_93347+_2507*_93345=_2507,_159544=1,_159540=1,_127665=0,_126412=1,_94626=1,_94624=1,_94622=1,_93349=1}.

{_2659=<2}

_159544 = 1
_3520 = 0
_159542 = _G181{geler = ...}
_3443 = -1
_159540 = 1
_2586 = -1
_127665 = 0
_2509 = 0
_127663 = _G199{geler = ...}
_126412 = 1
_126410 = _G211{geler = ...}
_94624 = 1
_94622 = 1
_94626 = 1
_2584 = _G233{geler = ...}
_2507 = 1
_93345 = 2
_93349 = 1
_93347 = 0
_2661 = _G254{geler = ...}
_2659 = _G260{geler = ..., itf = ...}

Yes
?-

Cheers,

Tom .

Follow-Ups:
- Re: bug in clp(q,r) library
  - From: Andrey Rybalchenko

References:
- bug in clp(q,r) library
  - From: Andrey Rybalchenko

Prev by Date: Re: When to use facts instead of rules?
Next by Date: Re: bug in clp(q,r) library
Previous by thread: bug in clp(q,r) library
Next by thread: Re: bug in clp(q,r) library
Index(es):
- Date
- Thread

Relevant Pages

bug in clp(q,r) library
... Any ideas why clpthrows an exception on this constraint? ... Type error in argument 1 of user:'$get_attributes'/3 ... Best regards, ...
(comp.lang.prolog)
Re: bug in clp(q,r) library
... the one in sicstus (when sicstus doesn't throw an exception ...). ... Tom Schrijvers wrote: ... SWI-Prolog comes with ABSOLUTELY NO WARRANTY. ...
(comp.lang.prolog)
Re: some quick help with lists
... Arithmetic only works one way in plain Prolog: it is a one way constraint. ... Check the documentation of SWI-Prolog for more possibilities or look at the ... constraints solvers included in your favorite Prolog system. ...
(comp.lang.prolog)