topological.pl -- Inferring relations of the Dimensionally Extended nine-Intersection Model (DE-9IM).

author
- Daniel Beßler
license
- BSD
 shape_contains(?InnerObj, ?OuterObj) is nondet
Check if InnerObj is contained by OuterObj. Currently does not take the orientation into account, only the position and dimension.
Arguments:
InnerObj- Identifier of the inner Object
OuterObj- Identifier of the outer Object