Задать вопрос
@Intelix

Как правильно задать цель в turbo prolog?

Здравствуйте, нигде не могу найти как задать цель для поиска брата в базе знаний семейных отношений с помощью Turbo Prolog.
spoiler
domains
	a=symbol
predicates
	parent(a,a)
	sex(a,a)
	mother(a,a)
	father(a,a)
	brother(a,a)
	son(a,a)  
	nephew(a,a)
	grandma(a,a)
	grandfa(a,a)
	grandson(a,a)
clauses
	sex(vyacheslav1,man).
	sex(vladimir,man).
	sex(gennady,man).
	sex(vadim,man).
	sex(kirill,man).
	sex(vyacheslav2,man).
	sex(natalia,woman).
	sex(lyubov,woman).
	sex(oksana,woman).
	sex(polina,woman).
	parent(gennady,vyacheslav1).
	parent(gennady,lyubov).
	parent(oksana,vladimir).
	parent(oksana,natalia).
	parent(vadim,gennady).
	parent(vadim,oksana).
	parent(kirill,gennady).
	parent(kirill,oksana).
	parent(vyacheslav2,vadim).
	parent(vyacheslav2,polina).
	
	mother(X,Y):-parent(X,Y),sex(Y,woman).
	father(X,Y):-parent(X,Y),sex(Y,man).
	brother(X,Y):-parent(Z,X),parent(Z,Y),sex(Z,man).
	son(X,Y):-parent(Y,X),sex(X,man).
	nephew(X,Y):-son(X,Z),brother(Z,Y).
	grandma(X,Y):-parent(X,Z),parent(Z,Y),sex(X,woman).
	grandfa(X,Y):-parent(X,Z),parent(Z,Y),sex(X,man).
	grandson(X,Y):-parent(X,Z),parent(Z,Y),sex(Y,man).

В итоге у всех в интернете точно так же, но если я ввожу цель brother(X,kirill) не выводит ничего.
Помогите пожалуйста в чем проблема?
  • Вопрос задан
  • 27 просмотров
Подписаться 1 Простой Комментировать
Пригласить эксперта
Ваш ответ на вопрос

Войдите, чтобы написать ответ

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