0

プロローグ用語の前の大文字の「N」はどういう意味ですか？

インプのPはではなくNPになりますか？</ p> 

imp(P,Q,Y) :- not(P,NP),or(NP,Q,Y).

NPはプロローグのPの否定を意味しますか？

Nはプロローグに組み込まれた関数の一種ですか？

どうもありがとう。

4

1 に答える 1

1

特別な意味はありません。大文字で始まる用語NPは、それが変数であることを意味します（大文字で始めることができます）。

私があなたの手順を読む方法：

imp(P,Q,Y) :- not(P,NP),or(NP,Q,Y).

つまり、'Pを取得することは変数YにQを意味します'not/2入力Pの否定を取得するためにプロシージャを呼び出し、次にor/3変数Yに「PまたはQではない」を計算するプロシージャnot/2を呼び出します。or/3

于 2012-12-07T17:30:51.417 に答える