Biorąc pod uwagę następujące definicje: smutny(X) :- not(szczęśliwy(X)). szczęśliwy(X) :- piękny(X), bogaty(X). bogaty(król). bogaty(książe). piękny(książe). piękny(śnieżka).

Jaki będzie wynik wykonania zapytania ?- arg(2,[[a],[b],[c],[d]],K).:

Która z interpretacji deklaratywnych klauzuli Mieścińskiego p:-!,a,b. p:-c,!,d. p:-e. jest kompletna i poprawna: (?)

Która z interpretacji deklaratywnych klauzuli p:-!,a,!,b,c. p:-d. jest kompletna i poprawna:

Która z interpretacji deklaratywnych definicji klauzuli p:-a,!,b. p:-!,c,d. p:-e. jest kompletna i poprawna:

Jaki będzie wynik wykonania zapytania ?- functor([A|[B|[C]]], F, N). :

Dla definicji operatorów op(100, xfy, #). oraz op(55, xf, ~). wyrażenie a # b ~ # c jest:

Które z poniższych zapytań zakończą się spełnieniem celu:

Do ewaluacji wyrażenia będącego terminem złożonym z funktorem arytmetycznym dochodzi kiedy użyjemy operatora:

Dla następującego programu prologowego: p(1). p(2). p(3):-!. , które z poniższych odpowiedzi są wszystkimi rozwiązaniami dla zapytania ?- !, p(X), !, p(Y).