Программа запускается, но работает неправильно

@Рейна · Регистрация: 23.09.2011

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

Народ, подскажите что не так?

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
domains
i=integer
predicates
nondeterm sum(i,i)
clauses
sum(1,1).
sum(N,F):-
     N>=1,
     N mod 2 >< 0,
     N1=N-1,
     sum(N1,F1),
     F=F1+N.
goal
sum(3,R).

Должна выводиться сумма всех нечетных чисел не превосходящих заданного числа. То есть ответ должен быть R=4 1 Solution, а пишет No Solution

@keidin · 04.11.2013, 22:03

У Вас нет правила для четного N.

Prolog
1
2
3
4
sum(1,1).
sum(N,F):-
     N>=1,N mod 2 >< 0,N1=N-1,sum(N1,F1),F=F1+N;
     N>=1,N mod 2=0,N1=N-1,sum(N1,F).

Четное N не суммируется, но позволяет перейти к следующему шагу рекурсии.

@Рейна · 04.11.2013, 22:23 **[ТС]**

keidin, СПАСИБООО! =) большое большое спасибо =)

Добавлено через 9 минут
keidin, Один вопрос, что значит точка с запятой в программе? то же самое что и это ",!." ?

@keidin · 04.11.2013, 22:31

";" - это логическое "или". Это же правило можно было разбить на два:

Prolog
1
2
sum(N,F):-N>=1,N mod 2 >< 0,N1=N-1,sum(N1,F1),F=F1+N.
sum(N,F):-N>=1,N mod 2=0,N1=N-1,sum(N1,F).

Новые блоги и статьи Все статьи Все блоги /
http://iceja.net/ математические сервисы iceja 20.01.2026 Обновила свой сайт http:/ / iceja. net/ , приделала Fast Fourier Transform экстраполяцию сигналов. Однако предсказывает далеко не каждый сигнал (см ограничения http:/ / iceja. net/ fourier/ docs ). Также. . .	http://iceja.net/ сервер решения полиномов iceja 18.01.2026 Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .	Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь постоянного тока с R, L, C, k(ключ), U, E, J. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа, решает её и находит переходные токи и напряжения на элементах схемы. . . .	Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .
Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .

@Рейна 0 / 0 / 1 Регистрация: 23.09.2011 Сообщений: 100
	04.11.2013, 22:23 [ТС]
	keidin, СПАСИБООО! =) большое большое спасибо =) Добавлено через 9 минут keidin, Один вопрос, что значит точка с запятой в программе? то же самое что и это ",!." ? 0