1. Ktora interpretacja faktu ojciec(jan,adam) jest poprawna:
A. Jan jest ojcem Adama              ;prawidlowa
B. Adam jest ojcem Jana
C. a i b jest prawdilowe
D. zadna z a, b ,c nie jest prawidlowa

2. W zapisie gra(Jan,Maria,futbol). slowo gra jest:
A.relacja          ;poprawna
B. faktem
C. predykatem
D. atomem

3.Zapis ?-posiada(maria,gazeta). jest:
A. zapytaniem           ;poprawna
B. celem
C. faktem
D. predykatem

4. Jest baza faktow:
	lubi(jarek,ryby).
	lubi(jare,(maria).
	lubi(maria,ksiazka).
	lubi(jan,ksiazka).
	lubi(jan,polska).
		Jezeli zadamy pytanie: ?-lubi(Maria,ksiazka) to system:
A. Bedzie czekal
B. nie zareaguje
C. odpowie yes
D. odpowie NO

5.Czy zamiast zapytania ?-lubi(Jan,cos,co_lubi_jan). mozna podac zapytanie:
A.?-lubi(jan,X).
B.?-lubi(jan,x).
C.?lubi(jan)
D. zadna nie jest prawdziwa z a,b,c                  ;poprawna

6. W zappisie ?-lubi(jan,maria),lubi(maria,jan). spojnik(,) oznacza ze:
A. Jan i maria nie lubia sie
B. lubia sie nawzajem
C. czy sie lubia zalezy od spelnienia celow ;prawidlowa
D. zapis jest bledny

7. W regule postaci lubi(Jan,X):-lubi(X,wino). glowa reguly jest:
A. lubi(Jan,X)  ;prwaidlowa
B. lubi(X,wino)
C. :-
D. powyzsza regula nie ma glowy

8.Zapis siostra(X,Y) jest:
A. klauzula
B. regula
C. faktem
D. dwuargumentowym predykatem

9. Regula ponizsza: siostra(X,Y):-kobieta(X),rodzice(X,M,O),rodzice(Y,M,O).
A. jest niepoprawna w tresci                       // brakuje ,X\=Y.
B. jest niepoprawna w glowie
C. ma niepoprawny operator
D. jest poprawna

10.Zapis: para(Jacek,Barbara). to:
A. term
B. predykat
C. fakt                           ;poprawna lub klauzula
D. atom

11. W zapytaniu ?-X=Y wystepuje predykat "=" jako:
A. operator postfiksowy
B. operator infiksowy             // ? mhm
C. operator prefiksowy
D. operator rownosci nie jest operatorem

12. Zapytanie ?=jedzie(student,rower)=jedzie(student,X). jest zapytaniem:
A.  o perdykat jedzie
B. o predykat rownosci (=)
C. o ukonkretnienie zmiennej X  // i would say
D. nie jest zapytaniem

13. Zapis arytmetyczny: X=:=Y oznacza
A. rownosc dwoch zmiennych
B. unifikacjê wartosci reprezentowanych przez zmienne  ;prawidlowa
C. X i Y sa ta sama zmienna
D. taki zlozony operator infiksowy nie wystepuje w Prologu

14. zinterpretowac zapis Prologu gestosc(X,Y):-lud(X,P),obszar(X,A), Y is P/A.

15. Predykat // w wyrazeniu  X//Y wyraza:
A. podwojony iloraz
B. calkowity iloraz  ;prawidlowa
C. nie ma takiego operatora w Prologu
D. liczba X jest rozna od Y

16. Zapisanie w prologu wyrazenia na obliczanie sumy X i Y:
;suma(X,Y,S):- S is X+Y.

17.zapisz w postaci drzewa strukture a+b*c
	+
A		*
	B		C

18. Zapisz w postaci winnej latorosli liste zlozonej z trzech atomow :a,b,c

19.Zapis listy w postaci [X|Y] oznacza ze:
A. lista nie ma ogona ani glowy
B.  lista ma glowe X i ogon Y;prawidlowa
C. oznacza dwie listy w liscie glownej
D. nie ma takiego zapisu w prologu

20. Predykat wbudowany write w wyrazeniuw write(X) spowoduje:
A. wypisanie termu X ukonkretnionego wartoscia na monitorze
B.nie zadziala
C. wypisze na monitorze X;prawidlowa
D. nie ma w prologu takiego wbudowanego predykatu

21. perdykat wbudowany consult(myfile) sluzy do
A. dodwania klauzul z pliku lub z klawiatury //tylko z pliku chyba
B. tworzenia nazw plikow
C. rozdzielania definicji
D.  zdana z powyzszych nie jest poprawna

22. Zapytaniem jest:
A. :-lubi(jan,X).
B. ?-lubi(jan,X).       ;prawidlowa
C. (lubi(jan,Maria)).
D. lubi(jan,X).

23. Jakiemu zapisowi jest rownowazny zapis: a,b,c:-d
A. a:-d.b:-d.c:-d ;prawidlowa
B. a:-d,b:-d,c:-d
C. a:,b:,c:-d
D. zaden z wymienionych

24. Jak nazywamy atom lubi w wyrazeniu lubi(jan, wino):
A. zmienna
B. stala
C. relacja
D. funktorem

25. Regula dowodzenia modus pones ma postac:
A. |-A|-A->B caloϾ dzielona przez |-B ;prawidlowa
B. |-A-> B calosc dzielona przez |-B
C. |->B calosc dzielona przez |-B
D. |-A calosc dzielona przez |->B

26. Co oznacza d(E,X,F):
A. pochodna wyrazenia E wzgledem zmiennej X jest wyrazenie F
B. relacja trojargumentowa
C. predykat zlozony
D. predykat prosty

27. Uzgadnianie termow to:
A. uzgadnianie zmiennych
B. stwierdzenie ich identycznosci
C. spowodowanie ich identycznosci przez odpowiednie ukonkretnienie wys.. zmiennych
D. stwierdzenie ich identycznosci lub spowodowanie ich identycznosci

28. Co to jest parser:
A. program tworz¹cy drzewa pokazuj¹ce struktury zdan  ;prawidlowa
B. gramatyka jezyka
C. frazy i subfrazy zdania
D. struktura drzewa celów

29. Zapis INT(Jasio)=chlopiec o imieniu Jasio to interpretacja:
A. faktu
B. Reguly
C. stalej
D. zmiennej ;prawidlowa

30.Do unifikacji termow sluzy predykat:
A. |-
B. =
C. ?-
D. ==

31. Co to jest klauzula :
A. term
B. atom
C. rezolucja
D. stala,regula ;prawidlowa

32.Co to jest prolog:
A. jezyk programowania dekleratywnego ;prawidlowa
B. jezyk programowania imperatywnego
C. jezyk programowania procuderalnego
D. jejzyk programowania obiektowego

33. Co to jest :-
A. predykat bezargumentowy ;prawidlowa
B. stala
C. Zmienna
D. Klauzula