EDIT: All PrologTerms now have a common protocol.