Zadania z Prologu

Zadanie 1
Utwórz program zawierający następujące fakty:
1.
2.
3.
4.
5.
6.
7.
Ania lubi koty
Marek jest niski
Marcin jest studentem
Zosia dała Adamowi klucz
Edward jest ojcem Maćka i Ewy
Arek podróżuje pociągiem z Warszawy do Częstochowy
Toyota, BMW, Skoda to marki samochodów osobowych
W sprawozdaniu zamieść kilka przykładowych pytań z odpowiedziami.
Zadanie 2
Utwórz program zawierający następujące reguły (wcześniej zdefiniuj odpowiednie fakty):
1. Jeśli element należy do zbioru A i do zbioru B, to należy do iloczynu tych zbiorów. Jeśli
natomiast element ten należy zbioru A lub do zbioru B, to należy do sumy tych
zbiorów. W podobny sposób zapisz różnicę A\B i B\A. Uwaga: zaprzeczenie w Prologu
to "\+".
2. Jeśli Y jest synem lub córką X, to X jest matką Y.
3. Jeśli Y jest synem lub córką X i X jest kobietą, to X jest matką Y.
4. Jeśli X jest matką Y, to Y jest synem lub córką X.
5. Dwie osoby są rodzeństwem, jeśli mają tych samych rodziców.
W sprawozdaniu zamieść kilka przykładowych pytań z odpowiedziami.
Zadanie 3
Zaimplementuj w Prologu graf skierowany o n > 10 wierzchołkach. Zdefiniuj fakty i reguły
pozwalające znaleźć ścieżki o długości 2, 3 i 4. Zadaj pytania:
1. czy istnieje ścieżka o długości 4 zaczynająca się w wierzchołku a i przechodząca przez
wierzchołek b (a i b to oznaczenia dowolnych wierzchołków)?
2. przez jakie wierzchołki przechodzi ścieżka o długości 4, gdy wierzchołkiem
początkowym jest a, a końcowym b (a i b to oznaczenia odpowiednich
wierzchołków)?
3. zadaj jeszcze kilka własnych pytań.
W sprawozdaniu zamieść rysunek grafu i pytania wraz z odpowiedziami.
Zadanie 4
Zaimplementuj w Prologu graf skierowany o n > 10 wierzchołkach. Wprowadź długości
gałęzi. Zdefiniuj fakty i reguły pozwalające znaleźć długość drogi pomiędzy wskazanymi
węzłami.
W sprawozdaniu zamieść rysunek grafu i kilka przykładowych pytań z odpowiedziami.
Zadanie 5
Dane jest drzewo
wo obrazujące relacje rodzinne ojciec – syn:
Stefan
Roman
Marian Marek
Henryk
Adam
Jan
Zdefiniuj fakty ojciec(a, b)) oraz reguły: dziadek (X,Y), wój(X,Y), kuzyn(X,Y),
kuzyn(X,Y) wnuk(X,Y) i
syn(X,Y) bazujące na faktach ojciec(X,Y).
W sprawozdaniu zamieść kilka przykładowych pytań z odpowiedziami.
Zadanie 6 (projekt)
Wzorując się na przykładzie "Kamień" podanym na wykładzie zaimplementuj
zaimplementuj w Prologu
projekt wykonany w Ekspercie. W sprawozdaniu zamieść kilka przykładowych pytań z
odpowiedziami.