子句的头部包含一个函数名和一组以逗号分隔的参数当函数调用发生时，将会按顺序对函数定义中的子句头部依次进行匹配。若所有断言都为真，则保护式成立，否则就失败。一旦子句的头部和保护式都匹配成功，系统将指定这条子句并对其主体求值。子句首部模式与保护式的组合可以唯一确定一个正确的子句。另外，一些BIF和算术表达式的组合也可以作为保护式。混合 意味着参数即可以是integer 也可以是float 。单目运算符的返回值与其参数类型相同。浮点除法运算符/ 总是返回一个float 。优先级相同的运算符从左到右进行求值。
暂无评论