Задачи на прологе

08.12.2014, 17:40. **Показов** 696. **Ответов** 1

Аксиоматизируйте предложенные области знаний. Формируемая вами система аксиом должна быть достаточной для ответа на вопросы, список которых вы должны составить заранее. Вопросы должны быть такими, чтобы для ответа на них требовалась цепочка шагов вывода.
1 задача: Земля вращается вокруг Солнца по эллиптической орбите. Марс вращается вокруг Солнца по эллиптической орбите. Юпитер вращается вокруг Солнца по эллиптической орбите. Сатурн вращается вокруг Солнца по эллиптической орбите. Плутон вращается вокруг Солнца по эллиптической орбите. Венера вращается вокруг Солнца по эллиптической орбите. Уран вращается вокруг Солнца по эллиптической орбите. Нептун вращается вокруг Солнца по эллиптической орбите. Меркурий вращается вокруг Солнца по эллиптической орбите. Земля, Марс, Юпитер, Сатурн, Плутон, Венера, Уран, Нептун, Меркурий –планеты Солнечной системы.
2 задача. Даны стороны a и b параллелограмма, а также угол между ними, найдите диагонали параллелограма и его площадь.
Может помочь кто?

@Catstail · 09.12.2014, 17:05

2)

Prolog

predicates
diag(real,real,real,real)
area(real,real,real,real)
 
clauses
diag(A,B,ALPHA,D) :- D=sqrt(A*A+B*B-2*A*B*cos(ALPHA)).
area(A,B,ALPHA,S) :- S=A*B*sin(ALPHA).

Pavel001
		1
	Задачи на прологе 08.12.2014, 17:40. Показов 696. Ответов 1 Метки нет (Все метки) Аксиоматизируйте предложенные области знаний. Формируемая вами система аксиом должна быть достаточной для ответа на вопросы, список которых вы должны составить заранее. Вопросы должны быть такими, чтобы для ответа на них требовалась цепочка шагов вывода. 1 задача: Земля вращается вокруг Солнца по эллиптической орбите. Марс вращается вокруг Солнца по эллиптической орбите. Юпитер вращается вокруг Солнца по эллиптической орбите. Сатурн вращается вокруг Солнца по эллиптической орбите. Плутон вращается вокруг Солнца по эллиптической орбите. Венера вращается вокруг Солнца по эллиптической орбите. Уран вращается вокруг Солнца по эллиптической орбите. Нептун вращается вокруг Солнца по эллиптической орбите. Меркурий вращается вокруг Солнца по эллиптической орбите. Земля, Марс, Юпитер, Сатурн, Плутон, Венера, Уран, Нептун, Меркурий –планеты Солнечной системы. 2 задача. Даны стороны a и b параллелограмма, а также угол между ними, найдите диагонали параллелограма и его площадь. Может помочь кто?

Опции темы