Вычислитель арифметических выражений (DCG)

@BashOrgRu · Регистрация: 20.01.2009

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

Здравствуйте!
Задача тривиальная : нужно реализовать синтаксический анализатор арифметических выражений и вычисление их значений. Видела решения с реализацией на VIP и с дополнительным парсером, но хочется красивое решение с использованием DCG нотации, на SWI.
Исходное выражение задается в виде списка : ['(',1,'+', 2, ')','*',3].
Накидайте простой работающий вариант с поддержкой операций +, *, скобки и целых чисел, пожалуйста.

@Грымзик · 25.05.2011, 18:30

Ну можно было просьбу и повежливей составить, а то "накиньте", "работающий"

Prolog

count([N],N):-number(N).
count(L,Ans):-append(A,[-|B],L),count(A,NA),count(B,NB),!,Ans is NA-NB.
count(L,Ans):-append(A,[+|B],L),count(A,NA),count(B,NB),!,Ans is NA+NB.
count(L,Ans):-append(A,[*|B],L),count(A,NA),count(B,NB),!,Ans is NA*NB.
count(L,Ans):-append(A,[/|B],L),count(A,NA),count(B,NB),!,Ans is NA/NB.
count(['('|Tail],Ans):-append(L,[')'],Tail),count(L,Ans).

@BashOrgRu · 26.05.2011, 00:27 **[ТС]**

простите, резковато вышло)
Спасибо за ваш вариант, только хотелось бы именно в DCG нотации записать грамматику разбора. В этом собственно даже суть вопроса - наглядно представить грамматику арифметических выражений.
Вот что получилось у нас:

Prolog

expr(Y) --> slag(Y).
expr(Y) --> slag(Y1), ['+'], expr(Y2) , {Y is Y1 + Y2}.
expr(Y) --> slag(Y1), ['-'], expr(Y2) , {Y is Y1 - Y2}.
 
slag(Y) --> mnojitel(Y).
slag(Y) --> mnojitel(Y1), ['*'], slag(Y2), {Y is Y1 * Y2}.
slag(Y) --> mnojitel(Y1), ['/'], slag(Y2), {Y is Y1 / Y2}.
mnojitel(Y) --> num(Y).

Теперь надо дополнить грамматику поддержкой скобок и операции степени. Со степенью совсем непонятно.

Добавлено через 11 минут
Ой, со степенью тоже все просто. Оказывается SWI умеет сам возводить в степень)

@Грымзик · 26.05.2011, 02:20

Вроде так действует, но не уверена, я с этой нотацией в первый раз встречаюсь

Prolog

expr(Y) --> slag(Y1),['+'], expr(Y2) , {Y is Y1 + Y2}.
expr(Y) --> slag(Y1), ['-'], expr(Y2) , {Y is Y1 - Y2}.
expr(Y) --> slag(Y).
 
slag(Y) --> mnojitel(Y1), ['*'], slag(Y2), {Y is Y1 * Y2}.
slag(Y) --> mnojitel(Y1), ['/'], slag(Y2), {Y is Y1 / Y2}.
slag(Y) --> mnojitel(Y).
slag(Y) -->['('],expr(Y1), [')','*'], slag(Y2), {Y is Y1 * Y2}.
slag(Y) -->['('],expr(Y1), [')','/'], slag(Y2), {Y is Y1 / Y2}.
slag(Y) --> ['('],expr(Y),[')'].
 
mnojitel(Y) --> num(Y).

@BashOrgRu 0 / 0 / 0 Регистрация: 20.01.2009 Сообщений: 7
		1
	Вычислитель арифметических выражений (DCG) 25.05.2011, 16:08. Показов 2087. Ответов 3 Метки нет (Все метки) Здравствуйте! Задача тривиальная : нужно реализовать синтаксический анализатор арифметических выражений и вычисление их значений. Видела решения с реализацией на VIP и с дополнительным парсером, но хочется красивое решение с использованием DCG нотации, на SWI. Исходное выражение задается в виде списка : ['(',1,'+', 2, ')','',3]. Накидайте простой работающий* вариант с поддержкой операций +, *, скобки и целых чисел, пожалуйста. 0

	26.05.2011, 02:20