Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.
Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.
Lost your password? Please enter your email address. You will receive a link and will create a new password via email.
Please briefly explain why you feel this question should be reported.
Please briefly explain why you feel this answer should be reported.
Please briefly explain why you feel this user should be reported.
I have the following state in my code:
After the next step I get
(cycle) T1=[26, 25|T1]
In Bindings. How to solve that and make the last conc work properly? As you can see I understand how to work with a single conc, but I don’t understand how to work with multiple conc’s.
Fisrt, you are using the same parameter to the tail of X and List (both T)
but i think it’s not the only problem
TmpL1 = [[25|T1]-T1,[26|T2]-T2,[24,25|T1]-[25|T1]]
first and 3rd lists have the same tail (T1)
also 3rd list have 25 in the tail, tail should have only Unsatisfied parameter