2013-04-04 3 views

ответ

2

Если я правильно помню:

Функциональный термин тип термина, который выглядит как pred_name (...). Анализатор имеет термины, которые также включают константы и переменные.

Предикат - это не имя вещи, а сама вещь; то, что является либо истинным, либо ложным. Функциональные термины используются для определения и вызова предикатов.

Так что, строго говоря, термины не преуспевают или терпят неудачу, и вы не можете анализировать предикаты. Это очень похоже на разницу между цифрой и числом.

+0

В чем разница между цифрой и числом :-P – cjds

+0

@cjds вот ответ https://www.google.co.jp/search?q=difference+between+a+numeral+and+a+ количество & RLZ = 1C5CHFA_enJP727JP727 & OQ = разница между + + а + позицией + и + а + номер & AQS = chrome..69i57j0l5.365j0j4 & SourceId = хром & т.е. = UTF-8, – arslan

Смежные вопросы