Ошибка в бд банковских операций

@mrshpit · Регистрация: 29.09.2013

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

При создании базы данных с банковскими операциями возникла проблема. Вероятно, я что то не так понимаю.

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
domains
name = symbol
bank = real
 
 
predicates
money(name,bank)
input(name,real)
 
clauses
money(john,0).
input(A,B):- money(A,X), X=X+B.
input(john,10).
 
goal 
money(john,End).

При запуске программы, счет Джона будет обозначен как 0 и программа проигнорирует задачу input, которая должна была положить 10 на его счет. Что тут не так? Сразу же еще один вопрос. Как правильно переставлять классы местами? Допустим, я хочу, чтобы строки с классами располагались таким образом:
input(A,B):- money(A,X), X=X+B.
money(john,0).
input(john,10).
Чтобы сначала шло описание операций, а потом их список. Но тогда программа ругается: "Clauses for the same predicate should be grouped input". Как это исправить?

@Грымзик · 29.09.2013, 20:21

X=X+B
Так делать нельзя, переменные унифицируются, т.е принимают какое-то значение уже навсегда. Чего Вы вообще хотели в это правиле добиться? Что значит "положить на счет"?

@mrshpit · 29.09.2013, 21:42 **[ТС]**

Ну допустим сначала в предикате money объявляется что определенный человек имеет на счету некую сумму денег. Мне нужно создать предикат, который сможет менять эту сумму. Добавлять к ней деньги или отнимать, чтобы в конце можно было вывести текущую сумму после всех операций. Выглядит задание вот так:

Создайте бд, в которой находятся сообщения про операции с кредитками. Каждая запись должна иметь инфу про фамилию человека, который тратит деньги, про тип операции и сумму денег. Программа должна уметь выдавать значение конечной суммы для всех операций конкретного человека.

Добавлено через 52 минуты
Пожалуйста, хотя бы поясните принцип. Я знаю, что в Прологе нету операции присваивания... Поэтому и не могу придумать как сделать предикаты, которые могли бы менять сумму на счету.

@feofilakt · 04.10.2013, 18:25

Блин, юзайте словари, clauses - это не классы. И вообще, сперва разберитесь, почему в этом языке не работает конструкция X=X+N.

@mrshpit · 04.10.2013, 21:07 **[ТС]**

Ну пока вы писали ответ, уже разобрался. Спасибо, блин.

@feofilakt · 05.10.2013, 09:18

Извините за излишнюю резкость, просто многие не удосуживаются сперва попытаться разобраться. Ведь самая элементарная информация легко находится. А если глубже, то в Прологе глобальных переменных нет, и способ программирования особый. Если обычно Y = increment(X), то в прологе increment(X, Y). Предикаты - это частный случай функций, урезанных до области значений {0,1}, но здесь они становятся мощным средством благодаря сопоставлению, поэтому из вызовов предикатов можно получать не только 0 и 1, но и значения их аргументов (сколь угодно много). Например, один аргумент входной, а другой выходной:

Prolog
1
2
3
4
5
6
operation('Ivanov', output, 200).
operation('Ivanov', input, 500).
calc(Name, Result):-
    findall(S, (operation(Name, input, Sum), S is Sum; operation(Name, output, Sum), S is -Sum), List),
    sum_list(List, Result).
?-calc('Ivanov', Result).

То есть мы не можем изменять уже существующие сущности, как в императивном программировании, а должны создавать новые.

@mrshpit · 05.10.2013, 10:39 **[ТС]**

Простите, я тоже погорячился. Да, и я уже довольно много литературы прочитал с тех пор, как задал вопрос. Так что уже понял что сглупил и начал немного разбираться в этом занимательном языке. И спасибо большое за код, он очень помог.

Новые блоги и статьи Все статьи Все блоги /
BOINC: 22 года — и всё ещё работает Programma_Boinc 12.03.2026 BOINC: 22 года — и всё ещё работает Дэвид Андерсон написал ретроспективу. Кратко: в 2001 году он ушёл из United Devices, где был CTO, и за несколько месяцев написал ядро BOINC — клиент, сервер,. . .	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-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	29.09.2013, 20:21
	X=X+B Так делать нельзя, переменные унифицируются, т.е принимают какое-то значение уже навсегда. Чего Вы вообще хотели в это правиле добиться? Что значит "положить на счет"? 0

@mrshpit 0 / 0 / 0 Регистрация: 29.09.2013 Сообщений: 5
	29.09.2013, 21:42 [ТС]
	Ну допустим сначала в предикате money объявляется что определенный человек имеет на счету некую сумму денег. Мне нужно создать предикат, который сможет менять эту сумму. Добавлять к ней деньги или отнимать, чтобы в конце можно было вывести текущую сумму после всех операций. Выглядит задание вот так: Создайте бд, в которой находятся сообщения про операции с кредитками. Каждая запись должна иметь инфу про фамилию человека, который тратит деньги, про тип операции и сумму денег. Программа должна уметь выдавать значение конечной суммы для всех операций конкретного человека. Добавлено через 52 минуты Пожалуйста, хотя бы поясните принцип. Я знаю, что в Прологе нету операции присваивания... Поэтому и не могу придумать как сделать предикаты, которые могли бы менять сумму на счету. 0

@feofilakt 18 / 18 / 0 Регистрация: 08.05.2012 Сообщений: 61
	04.10.2013, 18:25
	Блин, юзайте словари, clauses - это не классы. И вообще, сперва разберитесь, почему в этом языке не работает конструкция X=X+N. 0

@mrshpit 0 / 0 / 0 Регистрация: 29.09.2013 Сообщений: 5
	04.10.2013, 21:07 [ТС]
	Ну пока вы писали ответ, уже разобрался. Спасибо, блин. 0

@mrshpit 0 / 0 / 0 Регистрация: 29.09.2013 Сообщений: 5
	05.10.2013, 10:39 [ТС]
	Простите, я тоже погорячился. Да, и я уже довольно много литературы прочитал с тех пор, как задал вопрос. Так что уже понял что сглупил и начал немного разбираться в этом занимательном языке. И спасибо большое за код, он очень помог. 0