02.03.03. Linien – Endspurt

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?

Nach Beantwortung der Fragen solltest du die Anfragen für beide Eckpunkte formulieren können. Über den Programmieren-Button kannst du es ausprobieren.