Количество шагов

@zokines · Регистрация: 01.11.2012

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

В прологе не работал никогда. Но дали сделать 1 задачу, и как ее сделать не знаю.
Возможно бы и сделал, если бы это не был SWI-Prolog.
Примеров найти почти не реально. А если найдешь то не факт что разберешься в нем.
Надо найти количества шагов за которые достигается заданная точность (0,0.1) для выражения
$https://www.cyberforum.ru/cgi-bin/latex.cgi?\sum_{k=0}^{m}\frac{{-1}^{k}}{{2}^{k}} = \frac{2}{3}$

@Грымзик · 01.11.2012, 20:59

Какие-то попытки свои предоставьте. Задача очень простая, ведь тут даже сумму считать не надо. На каждом шаге делим элемент на два, и увеличиваем счетчик на единицу. И так пока элемент не станет меньше заданной точности.

@zokines · 05.11.2012, 13:17 **[ТС]**

я делал так...

Prolog
1
2
mathm(K):- number(K), N>0.6, N is ((-1)**K)/(2**K),
                mathm(K) #Как то увиличиваем на единицу и вызываем выражения mathm

я думаю надо написать еще одно правило и в нем вызывать mathm(K)

У меня не получается потому что пролог указывает что не можно представить дробное число
И вообще у меня ничего не получается

@Грымзик · 05.11.2012, 19:06

Prolog
1
2
3
4
5
p(Precision,Steps):-count(1, Precision, Steps).
 
count(Temp,Precision,0):-Temp<Precision,!.
count(Temp,Precision,Steps):-Temp1 is Temp/2,
    count(Temp1,Precision,Steps1),Steps is Steps1+1.

?- p(0.01,S).

@zokines · 05.11.2012, 21:42 **[ТС]**

А что значит знак восклицания? (3 строка)

@Грымзик · 05.11.2012, 22:49

Это отсечение. Почитайте про него, это очень важная вещь. Или, если не хочется с ним разбираться, то можно так написать

Prolog
1
2
3
count(Temp,Precision,0):-Temp<Precision.
count(Temp,Precision,Steps):-Temp>=Precision,Temp1 is Temp/2,
    count(Temp1,Precision,Steps1),Steps is Steps1+1.

@zokines · 06.11.2012, 02:58 **[ТС]**

Конечно почитаю

Добавлено через 1 минуту
у меня такой еще вопрос... есть ли в прологе знак "не равно" ?

@Грымзик · 06.11.2012, 23:15

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

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Desktop (MinGW): Рисуем цветные прямоугольники с помощью рисовальщика SDL3 на Си и C++ 8Observer8 17.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-rectangles-sdl3-c. zip finish-rectangles-sdl3-cpp. zip	Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая ссылка» (hard link),. . .	[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью
SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .

@zokines 1 / 1 / 0 Регистрация: 01.11.2012 Сообщений: 5

	Количество шагов 01.11.2012, 10:05. Показов 1792. Ответов 7 Метки нет (Все метки) В прологе не работал никогда. Но дали сделать 1 задачу, и как ее сделать не знаю. Возможно бы и сделал, если бы это не был SWI-Prolog. Примеров найти почти не реально. А если найдешь то не факт что разберешься в нем. Надо найти количества шагов за которые достигается заданная точность (0,0.1) для выражения $https://www.cyberforum.ru/cgi-bin/latex.cgi?\sum_{k=0}^{m}\frac{{-1}^{k}}{{2}^{k}} = \frac{2}{3}$ 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	01.11.2012, 20:59
	Какие-то попытки свои предоставьте. Задача очень простая, ведь тут даже сумму считать не надо. На каждом шаге делим элемент на два, и увеличиваем счетчик на единицу. И так пока элемент не станет меньше заданной точности. 1

@zokines 1 / 1 / 0 Регистрация: 01.11.2012 Сообщений: 5
	05.11.2012, 21:42 [ТС]
	А что значит знак восклицания? (3 строка) 0

@zokines 1 / 1 / 0 Регистрация: 01.11.2012 Сообщений: 5
	06.11.2012, 02:58 [ТС]
	Конечно почитаю Добавлено через 1 минуту у меня такой еще вопрос... есть ли в прологе знак "не равно" ? 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	06.11.2012, 23:15
	=\= для арифметических выражений, \= для всего остального. 1