From: Thorsten Winterer <thorsten_winterer_at_web.de>

Date: Thu, 01 Apr 2010 11:21:58 +0200

Date: Thu, 01 Apr 2010 11:21:58 +0200

Am 01.04.2010 10:39, schrieb Oliver Shycle: > Hi all, > > After studying the Constraint Library Manual I thought that using > propia enables me to turn every prolog goal into a constraint. Using > such a constraint works in general. However it unfortunately doesn't > work in combination with constraint expression connectives like "=>" > or "neg". > The use of "neg (my_constraint(X) infers most)" where X is a variable > to be labeled later gives me the following error: > instantiation fault in infers(my_constraint(_518{1 .. 6}), most, > _5589{[0, 1]}) > > Why do I get this error? > And what is the third variable "_5589{[0, 1]" of the infers predicate > that is shown in this error message? neg(Constr) is equivalent to Constr $= 0, i.e., the reified constraint Constr is negated. You therefore need a reified version of Constr if you want to use neg/1, i.e., a version of Constr that has one additional argument, which is the variable that contains the truth value (0 or 1). In your example, neg (my_constraint(X) infers most) translates to neg(infers(my_constraint(X), most)). neg/1 then looks for a reified version of infers/2, infers(my_constraint(X), most, B), where B has the domain [0,1]. This version does not exist, and thus the error that you get. Reified versions exist for the constraints in the ic library. You have to supply them yourself for your own constraints. If you want or need to use propia, you probably should write a predicate my_neg_constraint(X) instead of using neg/1. Cheers, ThorstenReceived on Thu Apr 01 2010 - 09:22:17 CEST

*
This archive was generated by hypermail 2.2.0
: Thu Feb 02 2012 - 02:31:58 CET
*