Did you know? SWI-Prolog has extensive GIS SupportSearch Documentation:
SWI-Prolog owl logoPredicate subtract/3