模块别名

  1. module ModAlias = ModuleName;

Type别名

class是type的一种

  1. class TypeAlias = TypeName;

image.png

谓词别名

可以定义非成员谓词的别名

  1. predicate PredAlias = PredicateName/Arity;