Witam serdecznie,
mam do wykonania nastepujace zadanie:
Napisaćprogram przyjmujący w postaci tekstowej zestaw formuł języka predykatów, formułę
zapytania i ustalający prawdziwośćtej formuły metodąrezolucji.
Można założyć, że formuły sądane we właściwej postaci normalnej a termy składająsię
jedynie ze zmiennych i stałych. Wykonaćprosty interfejs graficzny, w który wpisuje się
formuły w postaci tekstowej. Proces wnioskowania powinien byćilustrowany krok-po-kroku
zbiorem istniejących formuł i pojedynczymi krokami wnioskowania.
Sprawdzićprogram na przykładzie trochęrozbudowanej “sprawy pułkownika Westa”
(minimum 2 dostawców i 2 „wrogie” kraje).
Jezyk C++ lub Java.
Nie prosze o konkretne rozwiazanie ale moze ktos jest w stanie mi podpowiedziec jak w ogóle mam sie do tego zabrac, bo jak na razie to nie mam pojecia. Z gory dzieki.
pozdrawiam