3 replies to this topic

[Navra]

Hi,
why is

?- B=[1|[2]].

B = [1, 2]

and

?- B=[1|2].

B = [1|2]



Why is ?- B=[1|[2]]. not B=[1|[2]] ?

Thanks for any answers.

[Trap D]

Because as in Lisp, a list in Prolog is of the form [H | T] where T is a list.
[1|2] is not a proper list, it's equivalent as (1.2) in Lisp.

B = [1 | [2]] is the same as [1 | [2 | []]]

[Navra]

I got it.

Thanks

[carlodalid1]

Programming is something that I hate, but can not help it, I still gotta do it. you know - school assignment.

Its so tough man.

Thanks for the answer! was facing same query but could not find an answer to it..very useful post.

Thank god there are some guys who can help me do my homework :D