Программа символьного дифференцирования арифметических выражений. Помогите

15.05.2012, 15:55. **Показов** 1726. **Ответов** 1

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

Доброго времени суток,задача такая:
"Написать программу символьного дифференцирования арифметических выражений, представленных в канонической (в виде структур) для языка Пролог форме. При этом единственная переменная (по которой производится дифференцирование) обозначается буквой x, а константы - всеми иными строчными (маленькими) буквами."
я сам не очень разбираюсь,но нужно сделать. В общем программа работает нормально,только есть сложность с использованием знаков арифметических операций. Вот код:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
%Программа дифференцирования арифметических выражений с одной переменной x
 
diff(X,X,1).
 
diff(Y,_,0):-number(Y).
 
diff(Y,X,0):-atom(Y),X \= Y.
 
diff(^(X,N),X,#(~(x,N1),N)):-number(N),N1 is N-1.           %Случай, когда константа представлена числом
 
diff(^(X,A),X,#(~(x,A-1),A)).                               %Случай, когда константа представлена строчной %буквой
 
diff(+(Y,Z),X,+ (DY,DZ)):-diff(Y,X,DY),diff(Z,X,DZ).          %Дифференцирование суммы
 
diff(-(Y,Z),X,- (DY,DZ)):-diff(Y,X,DY),diff(Z,X,DZ).          %Дифференцирование разности
 
diff(#(Z,Y),X,#(DZ,Y)):-number(Y),diff(Z,X,DZ).                    %Дифференцирование произведения, когда  %константа Y предсталена числом
 
diff(#(Z,Y),X,+ (#(DY,Z),#(DZ,Y))):-diff(Y,X,DY),diff(Z,X,DZ).            %Дифференцирование %произведения, когда  константа строчной буквой
 
diff(\(Y,Z),X,\(- (#(DY,Z),#(Y,DZ)),#(Z,Z))):-diff(Y,X,DY),diff(Z,X,DZ).    %Дифференцирование частного

Проблема в том,что если заменить знаки # на *, ~на^,\ на / то программа выводит результат в инфиксной форме,грубо говоря "считает" выражение. Должно быть-
diff(^(x,4),x,Z). -----> *(^(x,3),4), а получается-
diff(^(x,4),x,Z). -----> x^3*4.
Кто чем может,помогите плз...

@Грымзик · 16.05.2012, 01:09

Вроде нереально в префиксной форме выводить, автоматически преобразуется
?- +(1,5)=A.
A = 1+5.

Новые блоги и статьи Все статьи Все блоги /
Программная установка даты и запрет ее изменения Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: при создании документов установить период списания автоматически. . .	Вывод данных в справочнике через динамический список Maks 01.04.2026 Реализация из решения ниже выполнена на примере нетипового справочника "Спецтехника" разработанного в конфигурации КА2. Задача: вывести данные из ТЧ нетипового документа. . .	Функция заполнения текстового поля в реквизите формы документа Maks 01.04.2026 Алгоритм из решения ниже реализован на нетиповом документе "ВыдачаОборудованияНаСпецтехнику" разработанного в конфигурации КА2, в дополнении к предыдущему решению. На форме документа создается. . .	К слову об оптимизации kumehtar 01.04.2026 Вспоминаю начало 2000-х, университет, когда я писал на Delphi. Тогда среди программистов на форумах активно обсуждали аккуратную работу с памятью: нужно было следить за переменными, вовремя. . .
Идея фильтра интернета (сервер = слой+фильтр). Hrethgir 31.03.2026 Суть идеи заключается в том, чтобы запустить свой сервер, о чём я если честно мечтал давно и давно приобрёл книгу как это сделать. Но не было причин его запускать. Очумелые учёные напечатали на. . .	Модель здравосоХранения 6. ESG-повестка и устойчивое развитие; углублённый анализ кадрового бренда anaschu 31.03.2026 В прикрепленном документе раздумья о том, как можно поменять модель в будущем	10 пpимет, которые всегда сбываются Maks 31.03.2026 1. Чтобы, наконец, пришла маршрутка, надо закурить. Если сигарета последняя, маршрутка придет еще до второй затяжки даже вопреки расписанию. 2. Нaдоели зима и снег? Не надо переезжать. Достаточно. . .	Перемещение выделенных строк ТЧ из одного документа в другой Maks 31.03.2026 Реализация из решения ниже выполнена на примере нетипового документа "ВыдачаОборудованияНаСпецтехнику" с единственной табличной частью "ОборудованиеИКомплектующие" разработанного в конфигурации КА2. . . .

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	16.05.2012, 01:09
	Вроде нереально в префиксной форме выводить, автоматически преобразуется ?- +(1,5)=A. A = 1+5. 0