02.03.01. Linien – Verstehen der Prädikate
vertical(line(point(X,Y),point(X,Z))).
horizontal(line(point(X,Y),point(Z,Y))).
Kannst du zu dieser Wissensbasis eine Anfrage formulieren, mit der du die fehlenden Eckkoordinaten dieses Rechtecks berechnen kannst?