6

私はプロローグを使用して動物を分類するためのこのエキスパート システムを実行しており、GNU/プロローグと Debian GNU/Linux を使用しています。

xpositive(symbol,symbol)
xnegative(symbol,symbol)

nondeterm animal_is(symbol)
nondeterm it_is(symbol)
ask(symbol,symbol,symbol)
remember(symbol,symbol,symbol)
positive(symbol,symbol)
negative(symbol,symbol)
clear_facts
run

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,nl,clear_facts.
run:-
    write("\nUnable to determine what"),
    write("your animal is.\n\n"),
    clear_facts.

run.

このプログラムに問題があります。プログラムをコンパイルしましたが、次のエラー メッセージが表示されます。

GNU Prolog 1.3.0
By Daniel Diaz
Copyright (C) 1999-2007 Daniel Diaz
| ?- [system].
compiling /root/Dokumenty/Lab/Expert/system.pl for byte code...
/root/Dokumenty/Lab/Expert/system.pl:2:1: syntax error: . or operator expected after > expression
        1 error(s)
compilation failed

問題を解決しようとしていますが、まだエラー メッセージが表示されます。

xpositive(symbol,symbol).
xnegative(symbol,symbol).

nondeterm animal_is(symbol)
nondeterm it_is(symbol)
ask(symbol,symbol,symbol)
remember(symbol,symbol,symbol)
positive(symbol,symbol)
negative(symbol,symbol)
clear_facts
run

エラーメッセージ：

| ?- [system].
compiling /root/Dokumenty/Lab/Expert/system.pl for byte code...
/root/Dokumenty/Lab/Expert/system.pl:4:11: syntax error: . or operator expected after expression
    1 error(s)
compilation failed

事前にご協力いただきありがとうございます

4

1 に答える 1

6

WinProlog のソースを使用しています (TurboProlog でした)。

これらの宣言をすべて削除するだけです。つまり、末尾にドットがない行 (up to run、included) を削除します。Prolog では必要ありません。

また、書き込み呼び出しの名前を変更するか、簡単にするために、引数の周りに角括弧を追加して、アリティ 1 にする必要があります。たとえば、次のようになります。

...
write([X," it ",Y,'\n']),
...

それからあなたは電話します

?- run.

コンソールで。

于 2012-12-20T17:24:47.433 に答える