Упрощение выражений

@looser's · Регистрация: 11.01.2011

Студворк — интернет-сервис помощи студентам

Такое задание:
Создать процедуру simplify (+Expr,–Result), которая выполняет упрощение выражений, содержащих тангенс от суммы произвольного числа слагаемых, с использованием правила:
tg(A+B) = (tg A + tg B) / (1 + tg A tg B)
?- simplify(tan(x+tan(3+x)),X).
X = (tan(x)+tan((tan(3)+tan(x))/(1+tan(3)*tan(x))))/
(1+tan(x)*tan((tan(3)+tan(x))/(1+tan(3)*tan(x))))

всего будет 2 строчки: первая с рекурсией и отсечением, вторая строчка без рекурсии - не изменять выражение, если оно не попадает под применение предыдущей строки

Вроде и не сложно, но как-то не могу вникнуть. Где-то, возможно, и знания не позвоняют)

@syd2010 · 11.01.2011, 00:55

Когда-то делал подобную задачу!

@Грымзик · 11.01.2011, 21:01

Prolog
1
2
3
4
5
simplify(E,E):-atomic(E),!.
simplify(E,R):-E=..[tan,Param],Param=..[+,A,B],!,
    simplify(A,A1),simplify(B,B1),
    R=..[/,tan(A1)+tan(B1),1+tan(A1)*tan(B1)].
simplify(E,R):-E=..[Z,A,B],simplify(A,A1),simplify(B,B1),R=..[Z,A1,B1].

@looser's · 12.01.2011, 01:51 **[ТС]**

огромное спасибо!

@Грымзик · 12.01.2011, 02:17

Только я что-то скривила малек, можно попроще
E=..[tan,A+B],! вместо E=..[tan,Param],Param=..[+,A,B],!

Новые блоги и статьи Все статьи Все блоги /
Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .	Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .
PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .

@looser's 1 / 1 / 0 Регистрация: 11.01.2011 Сообщений: 5

	Упрощение выражений 11.01.2011, 00:51. Показов 2523. Ответов 4 Метки нет (Все метки) Такое задание: Создать процедуру simplify (+Expr,–Result), которая выполняет упрощение выражений, содержащих тангенс от суммы произвольного числа слагаемых, с использованием правила: tg(A+B) = (tg A + tg B) / (1 + tg A tg B) ?- simplify(tan(x+tan(3+x)),X). X = (tan(x)+tan((tan(3)+tan(x))/(1+tan(3)tan(x))))/ (1+tan(x)tan((tan(3)+tan(x))/(1+tan(3)*tan(x)))) всего будет 2 строчки: первая с рекурсией и отсечением, вторая строчка без рекурсии - не изменять выражение, если оно не попадает под применение предыдущей строки Вроде и не сложно, но как-то не могу вникнуть. Где-то, возможно, и знания не позвоняют) 0

@syd2010 46 / 38 / 3 Регистрация: 14.12.2009 Сообщений: 272
	11.01.2011, 00:55
	Когда-то делал подобную задачу! 0

@looser's 1 / 1 / 0 Регистрация: 11.01.2011 Сообщений: 5
	12.01.2011, 01:51 [ТС]
	огромное спасибо! 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	12.01.2011, 02:17
	Только я что-то скривила малек, можно попроще E=..[tan,A+B],! вместо E=..[tan,Param],Param=..[+,A,B],! 0