Prolog - 功能术语与谓词 [英] Prolog - functional term vs predicate

问题描述

序言中的功能词和谓词有什么区别?

What is the difference between functional term from predicate in prolog ?

推荐答案

如果我没记错的话:

功能术语是一种术语，看起来像 pred_name(...).解析器处理术语，其中还包括常量和变量.

A functional term is a type of term that looks like pred_name(...). The parser deals with terms, which also include constants and variables.

谓词不是事物的名称，而是事物本身；某事或真或假.功能术语用于定义和调用谓词.

A predicate is not the name of the thing, but the thing itself; something which is either true or false. Functional terms are used to define and call predicates.

所以，严格来说，术语不会成功或失败，并且您无法解析谓词.这很像数字和数字之间的区别.

So, strictly speaking, terms don't succeed or fail, and you can't parse predicates. It is much like the difference between a numeral and a number.

这篇关于Prolog - 功能术语与谓词的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！