The prolog saga continues! This time, I'm having trouble with unification. I have this predicate: vertical(line(point(X, Y), point(X, Z))).
That gets unified with this query: vertical(line(point(1, 2), point(1, 3))). In prolog, this returns true. But when I run what I (think) is the equivalent pilog code: (be vertical (line (point @X @Y) (point @X @Z))) (? (vertical (line (point 1 2) (point 1 3)))) The query returns NIL Is my syntax wrong? Or should I have specified some other intermediate predicate? Thank you