- wkt_boundary(+Wkt:atom, -Boundary:atom) is det
- wkt_contains(+Wkt1:atom, +Wkt2:atom) is semidet
- wkt_convex_hull(+Wkt:atom, -ConvexHull:atom) is det
- wkt_crosses(+Wkt1:atom, +Wkt2:atom) is semidet
- wkt_difference(+Wkt1:atom, +Wkt2:atom, -Difference:atom) is det
- wkt_disjoint(+Wkt1:atom, +Wkt2:atom) is semidet
- wkt_distance(+Wkt1:atom, +Wkt2:atom, -Distance:double) is det
- wkt_envelope(+Wkt:atom, -Envelope:atom) is det
- wkt_equals(+Wkt1:atom, +Wkt2:atom) is semidet
- wkt_intersection(+Wkt1:atom, +Wkt2:atom, -Intersection:atom) is det
- wkt_intersects(+Wkt1:atom, +Wkt2:atom) is semidet
- wkt_overlaps(+Wkt1:atom, +Wkt2:atom) is semidet
- wkt_shape_atom(+Shape:compound, -Atom:atom)
- wkt_symmetric_difference(+Wkt1:atom, +Wkt2:atom, -Difference:atom) is det
- wkt_touches(+Wkt1:atom, +Wkt2:atom) is semidet
- wkt_union(+Wkt1:atom, +Wkt2:atom, +Wkt3:atom) is det
- wkt_within(+Wkt1:atom, +Wkt2:atom) is semidet
