\+prolog:'$acyclic'/1
\+ \+prolog:'$subsumes'/2
_==directory->prolog:absolute_file_name/5
_==file->prolog:absolute_file_name/5
