ISO Prolog 编程深度解析
1. ISO Prolog 预定义运算符
ISO Prolog 有一系列预定义运算符,这些运算符在编程中起着关键作用。以下是这些运算符的优先级、指定符和具体运算符的列表:
| 优先级 | 指定符 | 运算符 |
| ---- | ---- | ---- |
| 1200 | xfx | :- –> |
| 1200 | fx | :- ?- |
| 1100 | xfy | ; |
| 1050 | xfy | -> |
| 1000 | xfy | , |
| 900 | fy | + |
| 700 | xfx | = \= == \== @< @=< @> @>= is =:= =\= < =< > >= =.. |
| 600 | xfy | : (未正式用于模块系统) |
| 500 | yfx | + - /\ \/ |
| 400 | yfx | * / // rem mod << >> |
| 200 | xfx | ** |
| 200 | xfy | ^ |
| 200 | fy | \ - |
其中, :
用于模块系统,但目前尚未正式确定。像 ?-
和 -->
这样的运算符在标准中未赋予具体含义,主要是为了兼容性而保留。