Did you know? automatic UML->Prolog translationSearch Documentation:
SWI-Prolog owl logoPredicate foreach/2