Основы программирования на языке Visual Prolog

<<- Назад к вопросам

Вызов цели not(parent(X, _)) завершается успехом, если цель parent(X, _)

(Отметьте один правильный вариант ответа.)

Варианты ответа

имеет хотя бы одно решение

имеет более одного решения

не имеет решений(Верный ответ)

имеет ровно одно решение

Похожие вопросы

Предикат parent определяется следующим образом:

parent(peter, mary).parent(mary, ann).parent(mary, bob).

Цель !, parent(X, Y), parent(Y, Z) имеет следующее количество решений:

Предикат parent определяется следующим образом:

parent(peter, mary).parent(mary, ann).parent(mary, bob).

Цель parent(X, Y), !, parent(Y, Z) имеет следующее количество решений:

Определение предиката parent имеет вид:

		parent(tom, mary).		parent(ann, tom).

Отметьте все решения для цели parent(X, _), parent(_, Y):

Определение предикатов parent, grandparent и run имеет вид:

parent("Mary", "Bob").parent("Mary", "Tom").parent("Ann", "Mary").grandparent(X, Y):- parent(X, Z), parent(Z, Y).		run():- grandparent(X, Y), write(X, " - ", Y), nl, fail; _ = readLine().

Предикат parent объявлен в разделе class predicates. Укажите правильное объявление:

Определение предикатов male и parent имеет вид:

male(tom).male(bob).parent(tom, mary).parent(tom, ann).

Одинаковое ли количество решений имеют цели male(X), parent(X, _) и male(X), not(not(parent(X, _))):

Программа имеет вид:

 parent(bob, peter).parent(bob, X):- parent(ann, X).parent(bob, mary).

Сколько решений имеет цель parent(bob, X)?

Программа имеет вид:

parent(ann, peter).parent(ann, mary).parent(tom, X) :- parent(ann, X).

Сколько решений имеет цель parent(tom, X)?

Определение предикатов parent и anc имеет вид:

parent(tom, ann).parent(ann, bob).anc(X, Y):- parent(X, Y).anc(X, Z):- parent(X, Z), anc(Z, Y).

Сколько решений имеет цель anc(X, Y)?

Определение предикатов parent и anc имеет вид:

parent(tom, ann).parent(ann, bob).anc(X, Y):- parent(X, Y).anc(X, Z):- parent(X, Z), anc(Z, Y).

Сколько решений имеет цель anc(tom, X)?

Определение предикатов parent и anc имеет вид:

parent(tom, ann).parent(ann, bob).anc(X, Y):- parent(X, Y).anc(X, Z):- parent(X, Z), anc(Z, Y).

Сколько решений имеет цель anc(X, ann)?