02.03.02. Linien – Verstehen 2
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?