41、ISO Prolog 编程深度解析

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 | \ - |

其中， : 用于模块系统，但目前尚未正式确定。像 ?- 和 --> 这样的运算符在标准中未赋予具体含义，主要是为了兼容性而保留。

2. 列表和花括号的特殊语法