База ответов ИНТУИТ

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

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

Определение предикатов 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(). 
Укажите правильное объявление предиката grandparent:

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

Варианты ответа
grandparent: (string, string) nondeterm (o,o).(Верный ответ)
grandparent: (string, string) determ.
grandparent: (string, string) nondeterm (o,o) (i,o) (o,i) (i,i).
grandparent: (string, string) multi (o,o) nondeterm (i,o).
Похожие вопросы
Определение предикатов 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. Укажите правильное объявление:
Предикат 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) имеет следующее количество решений:
Определение предикатов male и parent имеет вид:
	male(tom).male(bob).parent(tom, mary).parent(tom, ann). 
Рассмотрим цели not(parent(X, _)), male(X) и male(X), not(parent(X, _)). Отметьте правильное утверждение:
Определение предикатов male и parent имеет вид:
male(tom).male(bob).parent(tom, mary).parent(ann, tom).		
Рассмотрим цели parent(X, _), not(not(male(X))) и not(not(male(X))), parent(X, _). Отметьте правильное утверждение:
Определение предиката parent имеет вид:
		parent(tom, mary).		parent(ann, tom). 
Отметьте все решения для цели parent(X, _), parent(_, Y):
Программа имеет вид:
 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)?
Определение предикатов 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(ann, peter).parent(peter, mary). 
Напишите значение, которое примет переменная X при вызове parent(X, mary)?