Prolog教程 8
来源:互联网 发布:办公自动化软件应用 编辑:程序博客网 时间:2024/05/23 13:58
Prolog中也有一些能够进行数学计算的功能,但是数学计算是不好用逻辑的事物来描述的。因此计算一个数学表达式的方法和我们以前所学习的模式匹配有很大的区别。因此,Prolog专门提供了内部谓词is来计算数学表达式。其语法形式如下:
X is <数学表达式>
变量X将被赋值为表达式的值,在回溯时不赋值。数学表达式的形式和其他的语言相同。下面是使用Prolog计算的一些例子。
?- X is 2 + 2.
X = 4
?- X is 3 * 4 + 2.
X = 14
我们还可以使用括号,
?- X is 3 * (4 + 2).
X = 18
?- X is (8 / 4) / 2.
X = 1
除了is以外,Prolog还提供了一些用来比较大小的操作符。
X > Y
X < Y
X >= Y
X =< Y
请注意>=和=<,它们的符号顺序是不能颠倒的。下面是一些例子,
?- 4 > 3.
yes
?- 4 < 3.
no
?- X is 2 + 2, X > 3.
X = 4
?- X is 2 + 2, 3 >= X.
no
?- 3+4 —> 3*2.
yes
我们可以在规则中使用这些符号,例如,
c_to_f(C,F) :- F is C * 9 / 5 + 32.
freezing(F) :- F =< 32.
c_to_f/2把摄氏温度转换为华氏温度,freezing判断华氏温度的冰点。下面是使用这些谓词的例子。
?- c_to_f(100,X).
X = 212
yes
?- freezing(15).
yes
?- freezing(45).
no
- Prolog教程 8
- Prolog教程
- Prolog教程
- Prolog教程 1
- Prolog教程 2
- Prolog教程 3
- Prolog教程 4
- Prolog教程 5
- Prolog教程 6
- Prolog教程 7
- Prolog教程 9
- Prolog教程 10
- Prolog教程 11
- Prolog教程 12
- Prolog教程 13
- Prolog教程 14
- Prolog教程 15
- Prolog教程 16
- Selenium 使用介绍
- WPS Office 2007 个人版 6.3.0.1339
- frame,iframe,frameset 的区别
- Prolog教程 7
- Eclipse中如何使用debug
- Prolog教程 8
- 07.08.31
- GridView 操作
- Prolog教程 9
- Prolog教程 10
- [ASP.NET学习笔记之四]数据集的使用方法和技巧
- Prolog教程 11
- C#常用技巧
- Prolog教程 12