[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

ERROR: Domain error: `clpfd_expression' expected, found `_G679 xor _G680'



Hello,

My name is Ujjwal Guin, a doctoral student of University of
Connecticut. Currently, I am trying to run a prolog program and getting the following error.
ERROR: Domain error: `clpfd_expression' expected, found `_G679 xor _G680'

I am trying to solve a set of xor equations. Here is the code for that

use_module(library(clpfd)).
solve(Vars):-
Vars=[A,B,C], Vars ins 0..1,
A xor B #= 1,
B xor C #= 1,
labeling([],Vars).

I really appreciate your help.

Thank you very much.

Ujjwal

Reply to: