Skip to content

Instantly share code, notes, and snippets.

@Gumball12
Last active October 13, 2019 13:12
Show Gist options
  • Save Gumball12/8fa769c2e2a9785e03554ddd5bf7e937 to your computer and use it in GitHub Desktop.
Save Gumball12/8fa769c2e2a9785e03554ddd5bf7e937 to your computer and use it in GitHub Desktop.
Implement of an Expert System in SWI-Prolog lang
동물원(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)).
척추(토끼).
척추(고래).
척추(붕어).
척추(상어).
척추(개구리).
척추(두꺼비).
척추(거북).
척추(뱀).
척추(참새).
척추(펭귄).
척추(\+ 오징어).
척추(\+ 지렁이).
척추(\+ 거미).
알깜(\+ 토끼).
알깜(\+ 고래).
알깜(붕어).
알깜(상어).
알깜(개구리).
알깜(두꺼비).
알깜(거북).
알깜(뱀).
알깜(참새).
알깜(펭귄).
체온조절(토끼).
체온조절(고래).
체온조절(붕어).
체온조절(상어).
체온조절(개구리).
체온조절(두꺼비).
체온조절(거북).
체온조절(뱀).
체온조절(\+ 참새).
체온조절(\+ 펭귄).
폐(토끼).
폐(고래).
폐(개구리).
폐(두꺼비).
폐(거북).
폐(뱀).
아가미(붕어).
아가미(상어).
아가미(개구리).
아가미(두꺼비).
어류(지네). % false
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment