0 
global facts
  xpositive(symbol,symbol)
  xnegative(symbol,symbol)

predicates
  animal_is(symbol) - nondeterm (o)
  it_is(symbol) - nondeterm (i)
  ask(symbol,symbol,symbol) - determ (i,i,i)
  remember(symbol,symbol,symbol) - determ (i,i,i)
  positive(symbol,symbol) - determ (i,i)
  negative(symbol,symbol) - determ (i,i)
  clear_facts - determ ()
  run - determ ()

clauses
  animal_is(cheetah):-
it_is(mammal),
    it_is(carnivore),
positive(has,tawny_color),
positive(has,dark_spots).

  animal_is(tiger):-
it_is(mammal),
it_is(carnivore),
positive(has, tawny_color),
positive(has, black_stripes).

  animal_is(giraffe):-
it_is(ungulate),
positive(has,long_neck),
positive(has,long_legs),
positive(has, dark_spots).

  animal_is(zebra):-
it_is(ungulate),
positive(has,black_stripes).

  animal_is(ostrich):-
it_is(bird),
negative(does,fly),
positive(has,long_neck),
positive(has,long_legs),
positive(has, black_and_white_color).

  animal_is(penguin):-
it_is(bird),
negative(does,fly),
positive(does,swim),
positive(has,black_and_white_color).

  animal_is(albatross):-
it_is(bird),positive(does,fly_well).

  it_is(mammal):-
positive(has,hair).
  it_is(mammal):-
positive(does,give_milk).

  it_is(bird):-
positive(has,feathers).
  it_is(bird):-
positive(does,fly),
positive(does,lay_eggs).

  it_is(carnivore):-
positive(does,eat_meat).

  it_is(carnivore):-
positive(has,pointed_teeth),
positive(has, claws),
    positive(has,forward_eyes).

  it_is(ungulate):-
it_is(mammal),
positive(has,hooves).

  it_is(ungulate):-
it_is(mammal),
positive(does,chew_cud).

  positive(X,Y):-
xpositive(X,Y),!.
  positive(X,Y):-
not(xnegative(X,Y)),
ask(X,Y,yes).

  negative(X,Y):-
xnegative(X,Y),!.
  negative(X,Y):-
not(xpositive(X,Y)),
ask(X,Y,no).

  ask(X,Y,yes):-
!,
write(X," it ",Y,'\n'),
readln(Reply),nl,
frontchar(Reply,'y',_),
remember(X,Y,yes).
  ask(X,Y,no):-
!,
write(X," it ",Y,'\n'),
readln(Reply),nl,
frontchar(Reply,'n',_),
remember(X,Y,no).

  remember(X,Y,yes):-
assertz(xpositive(X,Y)).
  remember(X,Y,no):-
assertz(xnegative(X,Y)).

  clear_facts:-
write("\n\nPlease press the space bar to exit\n"),
retractall(_,dbasedom),
readchar(_).

  run:-
animal_is(X),!,
write("\nYour animal may be a (an) ",X),
nl,
clear_facts.
  run:-
write("\nUnable to determine what"),
write("your animal is.\n\n"),
clear_facts.

goal
  run.

このエキスパートシステムプログラムを実行しようとしていますが、コンパイルすると次のエラーが発生します。

compiling C:/Users/daemon/Desktop/ch16E01.PRO for byte code...
C:/Users/daemon/Desktop/ch16E01.PRO:1:8: syntax error: . or operator expected after     expression
C:/Users/daemon/Desktop/ch16E01.PRO:127:3: syntax error: . or operator expected after     expression
 2 error(s)
compilation failed
4

3 に答える 3

1

次に、コードをPrologに変換する必要があります。それらの名前にもかかわらず、TurboProlog / VisualPrologは、興味深い論理プログラミング言語ですが、Prologの公式および事実上の標準定義によるとPrologシステムではありません。

標準のPrologシステム（GNU Prologなど）でコンパイルするために必要なコードへの変更には、「節」と「目標」のテキストを含む行の削除、「グローバルファクト」と「 predicates"ブロック;write/1の引数の二重引用符を一重引用符に置き換えます;readchar/1の呼び出しをget_char/1の呼び出しに置き換えます。しかし、他にもそれほど些細な変更はありません。そもそもProlog用に書かれたチュートリアルコード。

于 2012-03-06T11:37:21.810 に答える
0

あなたが投稿したコードはTurboProlog/VisualProlog用に書かれているようです。しかし、コンパイルエラーメッセージを見ると、（他の）Prologコンパイラを使用しているようです。確認できますか？

于 2012-03-06T02:11:53.467 に答える
0

読み取り可能なコードをコンパイラに貼り付けて、エラーを投稿してください。

DATABASE - dbasedom
  xpositive(symbol,symbol)
  xnegative(symbol,symbol)

PREDICATES
  animal_is(symbol) - nondeterm (o)
  it_is(symbol) - nondeterm (i)
  ask(symbol,symbol,symbol) - determ (i,i,i)
  remember(symbol,symbol,symbol) - determ (i,i,i)
  positive(symbol,symbol) - determ (i,i)
  negative(symbol,symbol) - determ (i,i)
  clear_facts - determ ()
  run - determ ()


Goal
run.


CLAUSES


run:-
animal_is(X),!,
write("\nYour animal may be a (an) ",X),
nl,
clear_facts.

run:-
write("\nUnable to determine what"),
write("your animal is.\n\n"),
clear_facts.



animal_is(cheetah):-
it_is(mammal),
it_is(carnivore),
positive(has,tawny_color),
positive(has,dark_spots).

animal_is(tiger):-
it_is(mammal),
it_is(carnivore),
positive(has, tawny_color),
positive(has, black_stripes).

animal_is(giraffe):-
it_is(ungulate),
positive(has,long_neck),
positive(has,long_legs),
positive(has, dark_spots).

animal_is(zebra):-
it_is(ungulate),
positive(has,black_stripes).

animal_is(ostrich):-
it_is(bird),
negative(does,fly),
positive(has,long_neck),
positive(has,long_legs),
positive(has, black_and_white_color).

animal_is(penguin):-
it_is(bird),



it_is(mammal):-
positive(has,hair).
it_is(mammal):-
positive(does,give_milk).

it_is(bird):-
positive(has,feathers).
it_is(bird):-
positive(does,fly),
positive(does,lay_eggs).

it_is(carnivore):-
positive(does,eat_meat).
it_is(carnivore):-
positive(has,pointed_teeth),
positive(has, claws),
positive(has,forward_eyes).

it_is(ungulate):-
it_is(mammal),
positive(has,hooves).
it_is(ungulate):-
it_is(mammal),
positive(does,chew_cud).


positive(X,Y):-
xpositive(X,Y),!.
positive(X,Y):-
not(xnegative(X,Y)),
ask(X,Y,yes).

negative(X,Y):-
xnegative(X,Y),!.
negative(X,Y):-
not(xpositive(X,Y)),
ask(X,Y,no).


ask(X,Y,yes):-
!,
write(X," it ",Y,'\n'),
readln(Reply),nl,
frontchar(Reply,'y',_),
remember(X,Y,yes).

ask(X,Y,no):-
!,
write(X," it ",Y,'\n'),
readln(Reply),nl,
frontchar(Reply,'n',_),
remember(X,Y,no).

remember(X,Y,yes):-
assertz(xpositive(X,Y)).
remember(X,Y,no):-
assertz(xnegative(X,Y)).


negative(does,fly),
positive(does,swim),
positive(has,black_and_white_color).


clear_facts:-
write("\n\nPlease press the space bar to exit\n"),
retractall(_,dbasedom),
readchar(_).
于 2012-03-09T07:25:38.247 に答える