bug in clp(q,r) library

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)
| ?-


Best regards,

Andrey
.

Relevant Pages

  • Re: 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 ... SWI-Prolog comes with ABSOLUTELY NO WARRANTY. ...
    (comp.lang.prolog)
  • Re: do task constraints constrain subtasks?
    ... communicate what is happening. ... realistic picture of what is meant to happen. ... I guess I take exception to the statement that, ... tasks under the summary there is an overall constraint. ...
    (microsoft.public.project)
  • RE: DataTable.RemoveRow
    ... I have retried to reproduce the contraint exception according to your ... the unique constraint only works ... constraint is violate, an ConstraintException is thrown. ... After the loop, all valid rows will be added to the ...
    (microsoft.public.dotnet.framework.adonet)
  • Re: Constraint Exception from Web Service
    ... capturing the constraint error in the web service and then threw it back to ... the page as a soap exception. ...
    (microsoft.public.dotnet.framework.webservices.enhancements)
  • How to extract from the exception the reason for the failure
    ... the INSERT statement, UPDATE statement, or foreign key update caused ... constraint or unique index identified by "1" constrains table "XXX" ... I want to be able to assess the exception and to return a specific ...
    (comp.lang.java.programmer)