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

@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],!

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Основы отладки веб-приложений на SDL3 по USB и Wi-Fi, запущенных в браузере мобильных устройств 8Observer8 07.02.2026 Содержание блога Браузер Chrome имеет средства для отладки мобильных веб-приложений по USB. В этой пошаговой инструкции ограничимся работой с консолью. Вывод в консоль - это часть процесса. . .	SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .	SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .
SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .	SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm 8Observer8 30.01.2026 Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .	SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .	Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .

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

	Упрощение выражений 11.01.2011, 00:51. Показов 2536. Ответов 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