Baza faktów Prolog:

symptom(grypa,lamanie_w_kosciach).

symptom(grypa,katar).
symptom(grypa,goraczka).
symptom(grypa,rozbicie).
symptom(przeziebienie,katar).
symptom(przeziebienie,bol_gardla).
symptom(przeziebienie,goraczka).
symptom(angina,bol_gardla).
symptom(angina,goraczka).
symptom(angina,owrzodzenie_gardla).

Zapytanie do bazy:



// wyswietli nam symptomy anginy
symptom(angina,X).



zapytanie o podanie wszystkich chorób związanych z katarem
symptom(X,katar).

SWI-Prolog do pobrania tutaj:
http://www.swi-prolog.org/