English | Prolog |
Is this segment parallel to this other line? | | parallel( segment(point2d(x,y), point2d(x,y)), segment (point2d(x,y), point2d(x,y))) | |
Is this segment perpendicular to this other line? | | perpendicular( segment (point2d(x,y), point2d(x,y)), segment (point2d(x,y), point2d(x,y))) | |
Is this segment contained in this polygon? | | contained( segment(point2d(x,y), point2d(x,y)), circle(point2d(x,y),r)) | |
Is this polygon contained in this other polygon? | | contained( square(point2d(x,y), length), circle(point2d(x,y),r)) | |
Does this polygon intersects this other polygon? | | intersects( square(point2d(x,y), length), circle(point2d(x,y),r)) | |
Is this segment vertical? | | vertical(segment (point2d(x,y), point2d(x,y))) | |
Is this segment perpendicular? | | perpendicular(segment(point2d(x,y), point2d(x,y))) | |
Is this point on the figure? | | on(point2d(x,y), segment(point2d(x,y), point2d(x,y))) | |
Is this point in the figure? | | in(point2d(x,y), circle(point2d(x,y),r)) | |