Przykładowe zadania przygotowujące do kolokwium 1. Napisz program w języki Prolog rozwiązujący następujący kryptogram:

Rozwiązanie:

2. W pewnym lesie mieszka lew i nosorożec, Lew kłamie w poniedziałki, wtorki, środy, w pozostałe dni mówi prawdę, nosorożec kłamie w czwartki, piątki i soboty w pozostałe dni mówi prawdę.

Na pytanie jaki był wczoraj dzień odpowiedzieli: Lew: wczoraj był jeden z dni w które kłamię, Nosorożec: wczoraj był jeden z dni w których ja również kłamię.

Jaki był wczoraj dzień ?

Odp: Czwartek

3. Napisz program w prologu, który rozwiązuje układ równań:

2 5 9

8 2

Jako dziedzinę wartości argumentów przyjmij przedział z zakresu (-1000,1000) 4. Napisz program w prologu, który generuje listę n-elementową wartości będących liczbami pierwszymi,

5. Napisz program w prologu, który oblicza sumę iloczynów wartości całkowitych umieszczonych na dwóch listach,

6. Napisz program w prologu, który symuluje zachowanie półsumatora jednobitowego, 7. Napisz program w prologu, który symuluje działanie multipleksera o dwóch wejściach adresowych,

8. Napisz program w prologu, który symuluje działanie demultipleksera o dwóch wejściach adresowych,

9. Za pomocą język prolog, zweryfikuj czy funkcja logiczna: A + !B*C !C+B*A

jest tautologią,

10. Zweryfikuj czy prawo pochłaniania jest tautologią.