designator.pl -- Implementation of entity designators.

These are descriptions of entities that are independent of their identity.

is_designator(+Designator) is semidet: True for instantiated designators.
has_designator(?Entity, +Designator) is nondet: Find entities denoted by some designator.