EDIT: PrologVariable multimethods.