10 lines
191 B
Text
10 lines
191 B
Text
|
point(-1, 0) -> A
|
||
|
|
point(1, 0) -> B
|
||
|
|
line(A, B) -> AB
|
||
|
|
len(AB) -> length
|
||
|
|
circle(A, len(AB)) -> circleA
|
||
|
|
circle(B, len(AB)) -> circleB
|
||
|
|
intersection(circleA, circleB, 0) -> C
|
||
|
|
line(A, C)
|
||
|
|
line(B, C)
|