The declarative interpretation falls short…

Two queries with identical logical semantics:

X = [1,2,3], member(7,X).

member(7,X), X = [1,2,3].

?- X = [1,2,3], member(7,X). No

?- member(7,X), X=[1,2,3]. …

Infinite computation

Previous slide

Next slide

Back to first slide

View graphic version