Warning: file_get_contents(/data/phpspider/zhask/data//catemap/3/heroku/2.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Prolog 什么是<&燃气轮机；在序言中是什么意思？_Prolog_Turbo Prolog - Fatal编程技术网
Fatal编程技术网
  • prolog/
  • Prolog 什么是<&燃气轮机；在序言中是什么意思？

Prolog 什么是<&燃气轮机；在序言中是什么意思？

prolog

Prolog 什么是<&燃气轮机；在序言中是什么意思？,prolog,turbo-prolog,Prolog,Turbo Prolog,例如： PREDICATES nondeterm likes (symbol,symbol) CLAUSES likes (ali,football). likes (ali,tenis). likes (ahmad,tenis). likes (ahmad,handball). likes (samir,handball). likes (samir,swimming). likes (khaled,horseriding). GOAL % likes (Person, G1), like

例如：

PREDICATES
nondeterm likes (symbol,symbol)

CLAUSES
likes (ali,football).
likes (ali,tenis).
likes (ahmad,tenis).
likes (ahmad,handball).
likes (samir,handball).
likes (samir,swimming).
likes (khaled,horseriding).

GOAL
%
likes (Person, G1), likes (Person,G2), G1<>G2.

谓词
不确定的喜欢（符号，符号）
条款
喜欢（阿里，足球）。
喜欢（阿里，泰尼斯）。
喜欢（艾哈迈德，泰尼斯）。
喜欢（艾哈迈德，手球）。
喜欢（萨米尔，手球）。
喜欢（萨米尔，游泳）。
喜欢（哈立德，骑马）。
目标
%
喜欢（人，G1），喜欢（人，G2），G1G2。
在那个例子中，
的意思是“不相等”。查询：

likes(Person, G1),
likes(Person, G2),
G1 <> G2.

喜欢（个人，G1），
喜欢（人，G2），
G1-G2。
是指找到一个喜欢两件事的人。如果没有
，
G1
和
G2
可以彼此相等，查询可以找到只喜欢一件事的
人


可能特定于Visual Prolog。在其他Prolog环境中，您可以使用
\=
或
\=
来代替。
在该示例中，
表示“不相等”。查询：


likes(Person, G1),
likes(Person, G2),
G1 <> G2.



喜欢（个人，G1），
喜欢（人，G2），
G1-G2。


是指找到一个喜欢两件事的人。如果没有
，
G1
和
G2
可以彼此相等，查询可以找到只喜欢一件事的
人


可能特定于Visual Prolog。在其他Prolog环境中，您可以使用
\=
或
\==
来代替