谓词“simple/1"是什么意思?在 Prolog (SWI-Prolog) 中 [英] What is the meaning of predicate "simple/1" in Prolog (SWI-Prolog)

问题描述

我在看书时遇到了问题.我看到一个程序使用谓词简单"(我猜 simple/1 ).不知道这个谓词是什么意思，在控制台用 ?-help(simple) 找不到.但是当我在控制台中尝试一些查询时，它的工作方式类似于:

I run into problem while reading a book. I see a program use predicate "simple" ( I guess simple/1 ). I don't know what is the meaning of this predicate, I can't find it with ?-help(simple) in the console. But when I tried with some queries in console, it worked something like:

5 ?- simple(p(x)).
false.

6 ?- simple(mia).
true.

7 ?- simple(Mia).
true.

8 ?- simple(f(Mia)).
false.

我想这是某种谓词来确定参数是术语(或变量)还是复杂术语.

I guess it is some sort of predicate to determine if the argument was Terms(or Variables) or Complex Terms.

推荐答案

swi-prolog 手册有如下定义:

simple(@Term) 是semidet术语是原子的或变量.

simple(@Term) is semidet Term is atomic or a variable.

定义在 quintus prolog 兼容库中；在 quintus prolog 文档中 定义是:

the definition is in the quintus prolog compatibility library; in the quintus prolog documentation the definition is:

简单(+术语)

Term 当前被实例化为一个原子、一个数字、一个数据库或变量.

Term is currently instantiated to either an atom, a number, a database or a variable.

无论如何，如果参数是一个简单的术语，simple/1 为真(不确定 quintus 手册中数据库的含义；我猜可能是 ODBC 连接的处理程序)

in any case, simple/1 is true if the argument is a simple term (not sure what the quintus manuals means by database; possibly a handler for an ODBC connection i guess)

这篇关于谓词“simple/1"是什么意思?在 Prolog (SWI-Prolog) 中的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！