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 des gelben 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.