Prolog is vs = with lists

prolog resolution unification
TheOne picture TheOne · Oct 6, 2009 · Viewed 18.4k times · Source

Why does this fail L is [1,2,3,4], and this works: L = [1,2,3]?

But L is 1, and L = 1 both work the same.

Answer

TheOne picture TheOne · Oct 6, 2009

is should only be used when evaluating arithmetic operations on the right-hand side. i.e.:

X is 1 + 2 + 3

is/2 evaluates the right-hand structure as an arithmetic expression. If it is not a valid arithmetic expression or a number, is/2 fails. Otherwise, the number to which the arithmetic expression evaluted is unified with the [presumably] unbound left-hand value.

Related questions

'if' in prolog?

Is there a way to do an if in prolog, e.g. if a variable is 0, then to do some actions (write text to the terminal). An else isn't even needed, but I can't find any documentation of if.

Read More
Prolog "or" operator, query

I'm working on some prolog that I'm new to. I'm looking for an "or" operator registered(X, Y), Y=ct101, Y=ct102, Y=ct103. Here's my query. What I want to write is code that will: "return X, given that …

Read More
"Not equal" sign in Visual Prolog?

I can't find any documentation on "not equal" sign in Visual Prolog. Please provide the right solution of this problem: class predicates sister : (string Person, string Sister) nondeterm(o,o). clauses sister(Person, Sister) :- Person [not-equal-sign] Sister, parent(Person, …

Read More