Implement of an Expert System in SWI-Prolog lang

program.pro

동물원(X) :-
    척추(X).

포유류(X) :-
    척추(X),
    not(알깜(X)).

조류(X) :-
    척추(X),
    알깜(X),
    not(체온조절(X)).

어류(X) :-
    척추(X),
    알깜(X),
    체온조절(X),
    아가미(X).

파충류(X) :-
    척추(X),
    알깜(X),
    체온조절(X),
    폐(X).

양서류(X) :-
    척추(X),
    알깜(X),
    체온조절(X),
    (아가미(X); 폐(X)).

척추(토끼).
척추(고래).

척추(붕어).
척추(상어).

척추(개구리).
척추(두꺼비).

척추(거북).
척추(뱀).

척추(참새).
척추(펭귄).

척추(\+ 오징어).
척추(\+ 지렁이).
척추(\+ 거미).

알깜(\+ 토끼).
알깜(\+ 고래).

알깜(붕어).
알깜(상어).

알깜(개구리).
알깜(두꺼비).

알깜(거북).
알깜(뱀).

알깜(참새).
알깜(펭귄).

체온조절(토끼).
체온조절(고래).

체온조절(붕어).
체온조절(상어).

체온조절(개구리).
체온조절(두꺼비).

체온조절(거북).
체온조절(뱀).

체온조절(\+ 참새).
체온조절(\+ 펭귄).

폐(토끼).
폐(고래).

폐(개구리).
폐(두꺼비).

폐(거북).
폐(뱀).

아가미(붕어).
아가미(상어).

아가미(개구리).
아가미(두꺼비).

run.pro

어류(지네). % false