Napisz w Prologu program wykonujący:
1. Zaimplementować w Prologu predykat rozwiązujący problem plecakowy.
2. Zaimplementować w Prologu predykat rozwiązujący problem poszukiwania najkrótszej drogi w grafie.
3. Zaimplementować w Prologu predykat symulujący lewostronne wyprowadzenie na automacie ze stosem.
4. Zaimplementować w Prologu predykat opisujący metodę tabel semantycznych dla rachunku zdań.
5. Zaimplementować w Prologu predykat opisujący metodę rezolucji dla rachunku zdań.
6. Zaimplementować w Prologu predykat wykonujący różniczkowanie symboliczne.
7. Zaimplementować w Prologu predykat opisujący metodę tabel semantycznych dla rachunku kwantyfikatorów.
8. Zaimplementować w Prologu weryfikator spełnialności dla rachunku zdań.