Strona domowa (i nie tylko) Piotra Fulmańskiego

PROLOG
Zajęcia
Przykładowe pytania na egzamin
PRZYKŁADY!!!
1. Dlaczego mówimy o programowaniu w logice? Na czy polega ten paradygmat
programowania?
2. Co należy rozumieć pod pojęciem obiektu?
3. Co to jest relacja, fakt reguła?
4. Podaj przykład koniunkcji, alternatywy, negacji.
5. Co to jest stała, zmienna, struktura?
6. Podaj przykład własnego operatora i sposobu jego użycia.
7. Czym różni się predykat is od =:=?
8. Podaj przykład prostego programu obliczeniowego (np. silnia) i go omów.
9. Podaj przykład listy i wymień różne sposoby jej zapisu.
10. Podaj przykład wykorzystania listy.
11. Podaj przykład programu odczytujacego dane z pliku i omów jego działanie.
12. Napisz przykładowy program sortując - omów go.
13. Jak działa mechanizm nawracania w Prologu?
14. Na ile istotna jest kolejność faktów i reguł?
15. Co nazywamy odcięciem? Jaki ma wpływ na wykonanie programu?
16. Co to jest akumulator?
17. Czym jest metoda obliczeniowa ,,z góry na dół'' i ,,z dołu do góry''?
18. Omów sposób konstruowania i dekompozycji termów przy pomocy predykat
=..
19. Omów predykaty służące do manipulowania bazą wiedzy.
20. Pytanie o wynik/sposób działania prostego programu.
Jaka będzie wartość zmiennej Odpowiedz w poniższym wywołaniu
21.
z(m,[a,l,a,m,a,k,o,t,a],Odpowiedz).
następującego programu
z(X,[X|Xs],Xs).
z(X,[Y|Ys],[Y|Zs]):-z(X,Ys,Zs).
22. Jakie są zalety reprezentacji wiedzy przy pomocy rachunku zdań?
23. Dlaczego reprezentacja wiedzy przy pomocy rachunku zdań jest
niewystarczająca?
24. Co to jest rachunek predykatów?
25. Umiejętność przekształcenia wyrażenia do postaci klauzulowej.
26. Jak zapisujemy klauzule? (jaką możemy nadać jej interpretacje i jaki to ma
sens?)
27. Co to jest rezolucja?
28. Co to jest unifikacja?
29. Co oznacza całkowita falsyfikowalność i jak możemy ją wykorzystać?
30. Co to są klauzule Horna?
Co się działo na wykładzie
1. Poznajemy PROLOG-a.
Pobierz plan wykładu
2. Operatory.
Pobierz plan wykładu
3. Listy.
Pobierz plan wykładu
4. Odcięcie (patrz skrypt poniżej).
5. Wejście i wyjście. Sortowanie
Pobierz plan wykładu
Skrypt
Część informacji dotyczących PROLOG-a zawarta jest w skrypcie do zajęć ze
sztucznej inteligencji.
Linki do stron
1.
2.
3.
4.
http://home.agh.edu.pl/~gjn/dydaktyka/LecRBS/GJN-LabProlog/
http://cs.wwc.edu/KU/PR/Prolog.php
http://www.ida.liu.se/~ulfni/lpp/
Ulle Endriss, Lecture Notes. An Introduction to Prolog Programming (local
version) Znakomite wprowadzenie - polecam
Zadanie
SIGNING ON
Logic Problems Issue 16 page 46
On one page of the visitor's book at Sandholme Castle, seat of the Duke of
Wallingfen, were the names of ten couples from various locations in the Englishspeaking world who had paid to look round the ancestral pile. From the clues given
below, can you fill in the blank page of the book with the surnames and home-towns
of each couple?
Clues:
1. The Drummonds are from Edinburgh; their name appears on the line above
the Jones family, who were not the last couple to sign the page.
2. Mr and Mrs Ince's signatures are immediately followed by those of the London
couple.
3. The couple on line 3 gave a North American address; their surname contains
two more letters than that of the Portsmouth pair and three more = than that
of the couple on line 9.
4. Only one couple's surname initial immediately preceeds that of the next family
to sign; they are not the Childers family, whose name appears on line 5 and
who do not live in Melbourne.
5. Bristol is the address on the line above Durban; one of these cities is the
home of the Adams family.
6. The Los Angeles couple signed on line 8; their surname contains an even
number of letters.
7. Mr and Mrs Fellowes, who are not transatlantic visitors, wrote their name on
an odd-numbered line, unlike the couple from Wellington.
8. The Toronto family's name immediately follows that of the Harringtons, who
are not from Washington.
9. Mr and Mrs Bourne signed on the lower half of the page, whilst the Giles
family, who did not sign on line 6, are not resident in the U.K. London,
Edinburgh, Bristol and Portsmouth are all in the U.K. Durban is in South Africa.
Los Angeles and Washington (D.C.) are in the U.S.A. Toronto is in Canada.
Wellington is in NewZealand. And of course, Melbourne is in Australia.
Rozwiązania zadań z ćwiczeń
1. Rebus
Zadanie to stanowi świetny przykład na to jak można zoptymalizowć
rozwiązanie wykorzystując wiedzę o postawionym problemie.
o Wersja 1
o Wersja 1 lekko poprawiona
o Wersja 2
o Wersja 3
o Wersja 4
o Wersja 5
o Wersja 6
o Wersja 7
o Wersja 8
2. Rodzeństwo
o Rozwiązanie 1
o Rozwiązanie 2
3. Misjonarze i kanibale
o Rozwiązanie
4. Kody Graya
o Rozwiązanie
Autorami zamieszczonych rozwiązań są Krzysztof Jastrzebski oraz Robert Szymacha.