Zidentyfikuj zadnie.
Zgromadź wymaganą wiedzę.
Wybierz słownik predykatów, funkcji i stałych. Zakoduj ogólną wiedzę dotyczącą zadnia.
5. Zakoduj specyficzną wiedzę dotyczącą zadania.
6. Postaw pytania do procedury wnioskowania i otrzymaj odpowiedzi
Usuń błędy z bazy wiedzy.
16