Activities

Revision started.

Good page on unification here.

Looking at constraints on a co-ordinate(X,Y)

vertical(line(point(X,Y),point(X,Z))).

horizontal(line(point(X,Y),point(Z,Y))).

?- vertical(line(point(1,1),point(1,3))).

yes

?- vertical(line(point(1,1),point(3,2))).

no

?- horizontal(line(point(1,1),point(2,Y))).

Y = 1

?- horizontal(line(point(2,3),P)).

P = point(_G889,3) ;

The prolog var _G889 means that X can be any value and Y must be 3.

toDoList

Revision