Prologでまったり Part4
at TECH
274:デフォルトの名無しさん
09/06/14 12:46:23
URLﾘﾝｸ(ale.cs.toronto.edu)
> A definite sentence has exactly one positive literal in each clause and
なるほど、導出計算方面でいうsentenceをprogramと読み替えるとdefinite program、
definite programに含まれるclauseだということでdefinite clauseなのかな
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
4808日前に更新/227 KB
担当:undef