02.03. Linien

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 des gelben Rechtecks berechnen kannst?