Mam standardowy typ danych reprezentujący formuły logiki predykatów. Funkcja przedstawiający zasadę eliminacji dedukcja naturalna dla alternatywy może wyglądać tak: d_el p q =
if p =: (Dis r s) &
Byłem bardzo zaskoczony mocą Prolog. Zajęło mi trochę czasu, aby dostać się dookoła, ale dla mnie wydawało się, że jest to najciekawszy język deklaratywny. Dlatego niedawno, po dwóch latach programowa