Проектирование программы на Прологе

Задумал использовать в качестве ядра обработки логики Prolog.

Но не совсем понял как проектировать программы на нем.
Все примеры для изучения Prolog уже содержат базу фактов и операций над ними.

Но в реальной программе база данных будет пуста. А потом она будет изменяться.
Если взять SQL (по аналогии декларативности Prolog'а) то в результате истинности условия UPDATE мы получим измененные данные.

Поясню на примере свое непонимание:

Отрывок из книги Братко:

А теперь вопросы:
1. Для работы с базой данных нужно написать свой UPDATE (с помощью asserta и assertz, retract)?
Причем с проверкой ситуации:
Уже есть факт:
Чтобы добавить новый рейс
12:20 / 13:10 / bа511 / ежедневно
мой UPDATE должен:
проверить существование факта расписание( милан, лондон, X)
если такой есть
удалить факт
добавить к списку X наш новый рейс, если такого рейса еще не было
добавить в базу факт

2.1 Нужно заменить время вылета в рейсах из цюриха, увеличив скажем все на полчаса.
получаем расписание( цюрих, X, Y)
удаляем факт из базы
получаем все элементы списка
"выкусываем" время вылета, обрабатываем увеличивая,
создаем новый рейс, копируя все из старого кроме времени вылета,
добавляем в базу новый факт (UPDATE с проверкой уже написан, выше)

2.2, 2.3, ... заменить название рейса, дни вылета

То же самое с удалением, создавать свой DELETE?

3. Как быть с ситуациями
пытаемся добавить рейс, имя которого уже где-то используется, а рейсы должны встречаться только раз. Написать проверку-поиск по всем фактам?

4. Если нужно ввести кроме ежедневно повыходным то тогда:
нужно обрабатывать не в предикате, а создавать фактом:
ежедневно([пн, вт, ср, чт, пт, сб, вс]).
?
или добавить предикат день_выл( День, повыходным) :-?

То есть, для того чтобы работать с базой фактов, нужно вначале написать свой набор средств ее изменения, учитывающий формат хранения фактов, и обслуживающие предикаты, аналоги SELECT?
Вначале - создаем инфраструктуру работы с базой фактов, а потом уж...
Я в верном направлении мыслю?

0

Сообщение от Skynin То есть, для того чтобы работать с базой фактов, нужно вначале написать свой набор средств ее изменения, учитывающий формат хранения фактов, и обслуживающие предикаты, аналоги SELECT? Вначале - создаем инфраструктуру работы с базой фактов, а потом уж... Я в верном направлении мыслю?

да. Все остальное прочитал, вроде бы все верно.

Все примеры для изучения Prolog уже содержат базу фактов и операций над ними. Но в реальной программе база данных будет пуста. А потом она будет изменяться.

Базу данных можно загружать из внешнего файла, и сохранять в текстовый файл. В прологе можно использовать и другие форматы БД(импортировать и экспортировать), я не использовал, но точно видел что используется DBF формат. Надеюсь я правильно понял ваш вопрос.

0

Сообщение от rrrFer да. Все остальное прочитал, вроде бы все верно.

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

Но раз по другому никак, то попробую.

Сообщение от rrrFer Базу данных можно загружать из внешнего файла,

За работу с внешним миром будут отвечать части программы на другом языке.

Конечно, нужно продумать метод обновления внешних данных -
1. параллельно: пишем в пролог БД; пишем во внешнюю БД,
или
2. пишем в пролог БД, получаем из пролог БД измененные факты, записываем их(или изменения) во внешнюю БД.

В первом случае возможно рассогласование данных. Во втором - потеря скорости выполнения.

0

Сообщение от Skynin Но раз по другому никак, то попробую.

Да, в прологе отсутствует разрушающее присваивание, значит что если у нас есть список из тысячи элементов и надо удалить лишь один элемент - то на прологе надо создать новый список, без одного элемента ) Т.е. то, что один раз получило значение - никогда его не изменит, хотя есть диалекты пролога, позволяющие использовать разрушающее присваивание.

Сообщение от Skynin Конечно, нужно продумать метод обновления внешних данных -

оба метода сильно замедлят работу, т.к. внешняя БД это просто файл(текстовый, можно редактировать в блокноте). Обработка файла выполняется весьма медленно, поэтому, возможно не стоит постоянно писать во внешнюю БД, а выполнять все во внутренней БД, а во внешнюю БД сохранять по команде, хотя тогда страдает надежность, т.к. все не сохраненные данные будут надежно потеряны, например, при выключении света.

1