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. 列表和花括号的特殊语法
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值