Отношение married определяется в виде: married(tom, mary).married(bob, ann). Симметричное замыкание отношения...

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

Отношение married определяется в виде:

married(tom, mary).married(bob, ann).

Симметричное замыкание отношения married можно определить следующим образом:

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

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

spouses(X, Y) :- married(X, Y); married(Y, X)(Верный ответ)

spouses(X, Y) :- married(X, Y), married(Y, X)

spouses(X, Y) :- married(X, Z); married(Y, Z)

spouses(X, Y) :- married(X, Z), married(Z, Y)

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

Определение предикатов married и female выглядит следующим образом:

married(tom, mary).female(mary).female(ann).

Напишите решение для цели female(X), not(married(_, X)):

Определение отношения father (отец) имеет вид:

		father(peter, tom).		father(tom, bob).

Отношение grandfather (дедушка) можно определить следующим образом:

Определение отношения parent имеет вид

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

Обратное отношение к отношению parent можно определить следующим образом:

Предикат 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) имеет следующее количество решений:

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

likes(mary, books).likes(peter, mary).likes(mary, peter).

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

Отношение likes определяется следующим образом:

likes(ann, books).likes(tom, ann).likes(bob, X) :- likes(ann, X).

Укажите весь набор значений, которые примет переменная X в результате вычисления запроса likes(X, _)?

Отношение likes определяется следующим образом:

likes(bob, X) :- likes(ann, X).likes(ann, books).likes(tom, ann).

Укажите весь набор значений, которые примет переменная X в результате вычисления запроса likes(_, X)?

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

likes(mary, books).likes(bob, mary).likes(bob, books).

Напишите решение, которое имеет цель likes(X, mary):

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