Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
horizontal(seg(punto(_,Y),punto(_,Y))). vertical(seg(punto(X,_),punto(X,_))). /** <examples> ?- vertical(seg(punto(1,1),punto(1,2))). ?- vertical(seg(punto(1,1),punto(2,2))). ?- vertical(seg(punto(1,1),punto(2,Y))). ?- vertical(seg(punto(1,2),punto(X,3))). ?- horizontal(seg(punto(1,1),punto(2,Y))). ?- vertical(seg(punto(2,3),P)). ?- vertical(S), horizontal(S). ?- vertical(_), horizontal(_). */