ПЗУ языка Пролог для БК0010

Цитата:

Сообщение от Raydac

маркетологи-лохотронщики

Медиа - дело тонкое... Например, чисто на СМИ ( а в последнее время - и на торрентах ( звук )) существуют музыканты, особенно в совке - нет шлейфа упоминаний в СМИ ( медийности ) - нет и спроса на концерты = разорение артиста.
Да и вообще, при рыночной системе общества для сбыта товаров/услуг примерно такая цепочка : - нет рекламы ---> нет сбыта ---> банкротство.
*

Цитата:

Сообщение от Raydac

сказать что "шансов нет"

Они самые для МЭП/МРП ( бывшего ) СССР закончились году так в 1998-1999 - когда Китай выкатил П-2, способный худо-бедно эмулировать М-ЭВМ с быстродействием 1...2 млн рег-рег ( например, Z80, 1801ВМ2А и т.п. ), или показывать кино МПЕГ-1 320х240.
Примерно так получилось и с Амига-1200 - даже с "вставным мозгом" на ~50 мгц тягаться с П-2 и тем более с П-3 ( 1999 г. ) небыло никакой возможности.

Цитата:

нет рекламы ---> нет сбыта ---> банкротство.

реклама должна учитывать окружающую обстановку всеж, какой то шанс был бы если бы КУВТы на базе БКшек в школах имели бы позиции, но в те времена и в школы приказали ставить писишки насколько помню, при таком можно урекламироваться, но даже интереса среди любителей старины тогда было не получить

Цитата:

Сообщение от Raydac

КУВТы на базе БКшек в школах имели бы позиции, но в те времена и в школы приказали ставить писишки насколько помню

Там просто элементарно моники фонили по ЭМИ - т.к. МС6105 внутри не содержал жестяного экрана, в отличии от SVGA. По этому реально небыло шансов у МС6105.
Но, примерно в Казани, около 1994-1995 г. были сделаны МС6105 в железном корпусе ( фото могу поискать ), для КУВТов БК, которые делали и в Казани.

В 1995-1996 г. БКшка считалась примерно как "монстр СССР", и народом дружно поливалась дерьмом, с Абсолютным восхвалением Z80, особенно моделей с 512 Кбайт, звуком и дисководом.
А КУВТы в 1996-1997 г. прямо на территории Э. утилировались на драги, корпуса сжигались. А кое-кто корпусами БК0010-01 огораживал клумбы и грядки на даче - нынче даже демонтирует огород и продает отмытые корпуса коллекционерам.

Это малость напоминает анекдотичный случай из судебной хроники начала 21-го века, из провинции :
- примерно в начале 1990-х в совке образовался натуральный голод, и народ стал совершать набеги на сады-огороды - картошку там выкапывать по ночам, даже лук выдергивали и т.п. Был один ветеран-завхоз на крупном оборонном заводике - и в его закромах нашлась большая деревянная катушка "железной" проволоки, типа "нержа", которую он и прикатил себе на дачу. Поставил, значит, столбов по периметру огорода, да и накрутил почти всю огромную катушку - заборец вышел отличный. Так защита от "синяков" действовала примерно до начала 21-г века, пока оборонное предприятие не испустило дух, и его купил ( за бесценок ) какой-то москвич. Первое, что сделал москвич - провел учет ценностей. На складу числилась бобина ~5 тонн платиновой проволоки, в наличии таковой не оказалось. Пришли "братки" к уже тогда безработному завхозу - "где 5 тонн платины ?". Завхоз полдня терпел пытки, пока не сообразил, что за проволока использована в заборе... Собрали проволоку, даже из общественного колодца срезали - всё сошлось до грамма.

Вложений: 1

Написал, наконец, свой "учебник" по Прологу-Д. Не буду прятать под спойлер, нужная вещь - пускай будет на виду.
В комплекте помимо PDF, DOC, ePUB ещё и сам исполняемый файл Пролога-Д с примерами программ и документацией в формате БК. Проверено на БК 0010 и БК 0011М с контроллерами SMK.
Скачать: Вложение 69267

А. Мачуговский
Москва

Пролог-Д для БК 0010 и БК 0011М

Введение

Первая версия языка программирования Пролог-Д для компьютера БК-0010 была выпущена в 1987-ом году С. Григорьевым. Версия 1.1 появилась, вероятно, в 1992-ом году. Она прошивалась в ПЗУ и для сохранения (а также загрузки) программ использовала магнитофон. По сравнению с предыдущими версиями, оставляла больше места для стека и для программы пользователя.
В 2019-ом году ПЗУ-версия была адаптирована для запуска в операционных системах MKDOS и ANDOS на БК-0010.01 и БК-0011М с контроллером жёсткого диска SMK. Для работы использует расширенную память контроллера. Адаптированный Пролог-Д можно загрузить и с магнитофона (при этом БК 0011М должна быть переведена в режим БК 0010 предварительной загрузкой в память Монитора от БК 0010).

Редактирование текста

После запуска Пролог-Д находится в режиме «Редактирование».
Текстовый редактор не поддерживает автоповтор при удержании клавиши. Используйте клавишу ПОВТ. Помимо клавиш управления курсором, обрабатываются клавиши «забой», «сдвижка», «раздвижка» и «удаление до конца строки».
Максимально допустимая длина строки - 64 символа.
Нажатие клавиши КТ переводит в режим ожидания команды пользователя. Всего доступно три команды, они вызываются клавишами «Ч» и «З» в русском заглавном регистре и клавишей «?». Если нажата иная клавиша, она обрабатывается как обычно. После обработки команд пользователя возврат в режим редактирования происходит по нажатию любой клавиши. Команды:
? - вызов подсказки (довольно бесполезной).
Ч - чтение программы с кассеты или диска. Завершение чтения никак не обозначается.
З - запись программы. Рекомендуется использовать расширение файла «.PL»

Основы языка

Программу составляют из фактов и правил. В каждой строке можно указать только один факт или одно правило. Строка должна заканчиваться символом “точка с запятой”.
Пример фактов:

Код:

RUSENG(РАДОСТНЫЙ,GLAD); RUSENG(РАДОСТНЫЙ,SUNNY); RUSENG(СОЛНЕЧНЫЙ,SUNNY); RUSENG(СОЛНЕЧНЫЙ,SOLAR); RUSENG(СОЛНЕЧНЫЙ,SHINY); RUSENG(БЛЕСТЯЩИЙ,SHINY);

Текстовые значения записываются в Прологе-Д без кавычек. Регистр учитывается, apple и APPLE - два разных значения. Важно придерживаться выбранного порядка объектов. В данном случае первым всегда указано русское слово, вторым - английское.
Пример правила:

Код:

СИНОНИМ(X,Y)<-RUSENG(X,Z),RUSENG(Y,Z);

RUSENG и СИНОНИМ - имена созданных программистом предикатов. В терминологии Пролога предикат - утверждение, задающее отношения между объектами. Первый пример показывает создание предиката RUSENG и наполнение его фактами из русско-английского словаря. Во втором примере создан предикат СИНОНИМ, описывающий правило нахождения синонимов для русских слов. Это правило гласит: для русских слов X и Y существует такое английское слово Z, что X переводится как Z и Y переводится как Z.
После имени предиката всегда пишут скобки (даже если предикату не нужно передавать никаких объектов).

Предикат - логическая величина, она принимает значения ДА или НЕТ. Предикат может содержать несколько фактов и/или правил.

Факт всегда выдает значение ДА.

Правило в левой части содержит имя и список объектов. При дальнейшем использовании правила важно придерживаться выбранного порядка объектов. Справа от символов <- идет описание правила: через запятую перечислены предикаты (факты и правила), их ещё называют

Код:

целями

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

Вопрос записывают последней строкой программы и обозначают символом “?”. Его можно писать слитно со следующим за ним предикатом (фактом или правилом), а можно и через пробел. Пролог-Д ответит на вопрос, учитывая перечисленные выше факты и правила. Программа может содержать только один вопрос. Следующие за ним строки программы игнорируются.
Пример вопроса:

Код:

? RUSENG(СОЛНЕЧНЫЙ,SAD);

В данном примере Пролог-Д проверит предикат RUSENG на содержание факта «значению СОЛНЕЧНЫЙ соответствует значение SAD». Такого факта нет в базе знаний, поэтому ответ на вопрос - НЕТ. Он и появится на экране.

Переменные в Прологе-Д однобуквенные - строчные и заглавные символы от A до Z и от А до Я. Поэтому внести в наш англо-русский словарь значения «I» и «Я», к сожалению, не получится. Область видимости переменной - одна строка. Можно использовать одинаковые имена переменных при создании разных правил. Для простых правил традиционно используют переменные X, Y и Z.
Вопрос с использованием переменной Y:

Код:

? RUSENG(СОЛНЕЧНЫЙ,Y);

Пролог-Д рассмотрит записанные в базе знаний факты и напечатает на экране все подходящие значения переменной Y:

Код:

Y=SUNNY Y=SOLAR Y=SHINY ДРУГИХ РЕШЕНИЙ НЕТ

Технически это работает так. Факт RUSENG задает отношение между двумя объектами. Пролог-Д синтезирует новые факты: на место первого объекта подставляет значение «СОЛНЕЧНЫЙ», на место второго объекта по очереди подставляет все возможные (известные из фактов о RUSENG) значения второго объекта. Как только обнаружено, что синтезированный факт совпадает с одним из фактов базы знаний, решение считается найденным. Тогда текущее значение второго аргумента записывается в переменную Y и выдается на экран. После этого поиск решений (синтез и сравнение фактов) продолжается до исчерпания базы знаний, так как верных ответов может быть несколько.

Запуск и выполнение программы

Нажатие клавиши ВВОД на строке с вопросом запускает выполнение программы. После этого Пролог-Д переходит в режим «Выполнение»: экран очищается и выводятся все найденные решения. Нажатие любой клавиши возвращает в режим «Редактирование».
Напомним описание правила и приведем вопрос, содержащий это правило:

Код:

СИНОНИМ(X,Y)<-RUSENG(X,Z),RUSENG(Y,Z); ? СИНОНИМ(СОЛНЕЧНЫЙ,Y);

Результат выполнения программы:

Код:

Y=РАДОСТНЫЙ Y=БЛЕСТЯЩИЙ ДРУГИХ РЕШЕНИЙ НЕТ

Хотя для пользователя обработка фактов и правил выглядит одинаково, технически второе немного сложнее. Описание правила СИНОНИМ использует два факта RUSENG с разными переменными, поэтому вычисляться они должны независимо - в данном случае Пролог-Д синтезирует сразу два факта и сверяет их с фактами из базы знаний. Затем к результатам применяется логическая операция «и». На место переменной X всегда подставляется значение «СОЛНЕЧНЫЙ». На место переменных Y и Z по очереди будут подставлены все известные о RUSENG факты (согласно описанию правила СИНОНИМ, на место Y подставляются значения первого объекта RUSENG, на место Z - значения второго объекта RUSENG). Для каждого синтезированного набора фактов Пролог-Д вычислит логическое значение предиката СИНОНИМ и в случае получения истины сочтет текущее значение переменной Y подходящим ответом. После чего продолжит поиск.

Базовые логические операции

Создадим предикат EQ, который с помощью переменной Z опишет эквивалентность (равенство) двух объектов:

Код:

EQ(Z,Z);

Зададим вопрос:

Код:

? EQ(3,3);

Пролог-Д ищет в программе предикат EQ и подставляет в него значения обоих аргументов (числа 3 и 3), после чего проверяет, верно ли, что оба значения можно одновременно представить одной и той же переменной Z. Ответ - ДА.
Теперь зададим вопрос:

Код:

? EQ(3,4);

Очевидно, значения 3 и 4 не могут быть одновременно представлены одной и той же переменной Z, поэтому ответ - НЕТ.
Следующий вопрос:

Код:

? NOTEQUAL(3,4);

Предикат с именем NOTEQUAL не описан в программе, Прологу-Д о нем ничего не известно. В таких случаях в Прологе принято выдавать ответ НЕТ.

Отрицание. В Прологе-Д есть встроенный предикат НЕ с одним аргументом. Дополним наше правило СИНОНИМ, чтобы слово не считалось синонимом самому себе. Для этого понадобится предикат EQ и встроенный предикат НЕ:

Код:

EQ(Z,Z); СИНОНИМ(X,Y)<-НЕ(EQ(X,Y)),RUSENG(X,Z),RUSENG(Y,Z);

Первая цель правила СИНОНИМ гласит, что X и Y не должен быть эквивалентны. Для ускорения работы программы полезно первыми записывать простые цели. Пролог-Д просматривает цели слева направо, и как только встречает цель, выдающую ответ НЕТ, заканчивает обработку значений (и переходит к поиску других решений, если в вопросе содержатся переменные). Сложные для вычисления цели лучше записывать последними, надеясь на то, что до их обработки дело не дойдет. Впрочем, баланс между быстродействием и удобочитаемостью программы каждый программист определяет для себя сам.

Или. В Прологе-Д нет отдельного символа для обозначения логической операция «или». Вместо этого отношение «или» задают наполняя предикат несколькими правилами:

Код:

ДАЛЬНИЙРОДСТВЕННИК(X,Y)<-ТЕТЯ(X,Y); ДАЛЬНИЙРОДСТВЕННИК(X,Y)<-ДЯДЯ(X,Y); ДАЛЬНИЙРОДСТВЕННИК(X,Y)<-ПЛЕМЯННИК(X,Y);

Отсюда получается: если у человека есть тетя или дядя, значит у него есть дальний родственник.

Отсечение. Обозначается знаком «!». Иногда нужно прекратить дальнейший поиск решений, когда одно решение уже найдено. Для примера дополним определение СИНОНИМ ещё одной целью и зададим вопрос:

Код:

СИНОНИМ(X,Y)<-НЕ(EQ(X,Y)),RUSENG(X,Z),RUSENG(Y,Z),!; ? СИНОНИМ(СОЛНЕЧНЫЙ,Y);

Как уже было сказано ранее, Пролог-Д рассматривает цели слева направо. Когда в процессе перебора фактов X и Y принимают равные значения, предикат НЕ(EQ(X,Y)) выдает НЕТ и поиск текущих значений X и Y в словаре RUSENG не производится. Когда же первые три цели выдают значение ДА, Пролог-Д переходит к обработке четвертой цели. А в данном случае это «!» - отсечение. Предикат отсечения заканчивает обработку правила, целью которого является. Таким образом, правило СИНОНИМ, дополненное оператором отсечения, выдаст только одно, первое найденное, решение. После этого обработка прервётся.
Цель «!» не обязательно должна стоять последней, после неё можно указать и другие цели. Пока они принимают значение ДА, обработка не прерывается. Как только хотя бы одна из целей справа от «!» примет значение НЕТ, обработка прекратится.
Важно заметить, что прекращается поиск решений только для конкретного, обрабатываемого в данный момент правила, а не для всей программы. Таким образом, предикат отсечения удобно использовать, в частности, для выхода из рекурсии.
В реализации Пролога-Д внутреннее устройство факта и правила одинаково. Факт – это правило, не зависящее ни от каких целей. Поэтому следующие две записи равнозначны:

Код:

МАМА(ЛЕНА,ВАНЯ); МАМА(ЛЕНА,ВАНЯ)<-;

Это даёт нам возможность применить к факту предикат отсечения, который пояснит, что у человека может быть только одна мама (если найдена одна, других искать не надо):

Код:

МАМА(ЛЕНА,ВАНЯ)<-!;

Предикат отсечения нельзя использовать в вопросе. Он допустим только в определении правила.

Арифметические операции

Вся арифметика в Прологе-Д целочисленная, переменные могут принимать только положительные 16-разрядные значения в диапазоне от 0 до 65535.
Для понимания арифметических вычислений в Прологе-Д рассмотрим уравнение двух переменных в форме линейной функции:
k * x + m = y
По какой-то причине страсть к математическим абстракциям привела создателей языка именно к такому виду вычислений: все базовые арифметические операции на Прологе-Д выражаются через линейную функцию. При k=1 мы получаем сумму x и m в переменной y. При m=0 мы получаем произведение k и x в переменной y. В свою очередь, k содержит результат деления y на x если m=0. Ну а разность y и x получается в m если k=1.
Для вычисления линейной функции в Прологе-Д есть предикат ВЫЧ:

Код:

ВЫЧ(K,X,M,Y);

Чтобы произвести сложение, вычитание, умножение или деление, программисту нужно составить линейную функцию с соответствующими аргументами.
Допустим, нам нужно узнать результат деления 35 на 7. Линейная функция будет выглядеть так:
7 * x + 0 = 35
Соответствующая запись на языке Пролог-Д и результат обработки вопроса:

Код:

? ВЫЧ(7,X,0,35); X=00005 ДРУГИХ РЕШЕНИЙ НЕТ

Иными словами, в Прологе-Д отсутствуют привычные операторы + - / * и все вычисления производятся с помощью предиката ВЫЧ.
Создадим более удобный предикат для возведения в квадрат переменной X. Ответ будет помещён в переменную Y:

Код:

QUAD(X,Y)<-ВЫЧ(X,X,0,Y);

Иногда по какой-то причине Пролог-Д может выдать три одинаковых ответа на вопрос:

Код:

? QUAD(3,Y) Y=00009 Y=00009 Y=00009 ДРУГИХ РЕШЕНИЙ НЕТ

Чтобы исправить эту оплошность, добавим в описание предикат отсечения:

Код:

QUAD(X,Y)<-ВЫЧ(X,X,0,Y),!;

Теперь ответ будет только один.
Хотя философия языка это подразумевает, в реализации Пролог-Д мы, к сожалению не сможем узнать ответ на вопрос:

Код:

? QUAD(X,16); ОШИБКА 34 НЕТ

Сравнение. В Прологе-Д нет встроенных средств для сравнения чисел, но их можно создать, используя лишь логику и математическую индукцию – в этом философия и суть Пролога. Помня о том, что Пролог-Д работает с положительными целыми числами, запишем правило: при сравнении с нулем любое число X выдаст ДА, если только само это число X не равно нулю:

Код:

БОЛЬШЕ(X,0)<-НЕ(EQ(X,0)),!;

Предикат EQ должен быть определен как было показано ранее. Предикат отсечения «!» нужен для дальнейшего использования в ещё одном правиле: если X > Y, то верно и неравенство X-1 > Y-1. Будем отнимать по единице до тех пор, пока не выполнится одно из условий:
1. Второй аргумент сравняется с нулем. Тогда сработает записанное выше правило, оно выдаст ответ ДА и остановит перебор благодаря оператору отсечения.
2. Первый объект сравняется с нулем. Соответствующее правило опишем ниже, оно должно выдавать ответ НЕТ и также останавливать перебор.
Второе правило выглядит так:

Код:

БОЛЬШЕ(X,Y)<-НЕ(EQ(X,0)),ВЫЧ(1,U,1,X),ВЫЧ(1,V,1,Y),!,БОЛЬШЕ(U,V);

Оно выполняется пока X не равен нулю. В переменную U записываем X-1, в переменную V записываем Y-1. Нам нужно чтобы предикат БОЛЬШЕ вычитал единицы и вызывал сам себя. Выход из рекурсии (череды самовызовов) произойдет когда X сравняется с нулем. Тогда предикат БОЛЬШЕ справа от символа «!» выдаст НЕТ и на этом обработка закончится.
К сожалению, Пролог-Д не справится с обработкой этим методом больших чисел, так как он потребует глубокого погружения в рекурсию.
Для решения этой проблемы перейдём от вычитания единиц к делению пополам. Правда, Пролог-Д не может решить задачу деления нечётного числа на 2, ведь ответ не принадлежит множеству целых чисел. Поэтому нам придется определить предикат HALF (половина):

Код:

HALF(A,B)<-ВЫЧ(2,B,0,A); HALF(A,B)<-ВЫЧ(2,B,1,A);

В зависимости от чётности числа A, одно из правил выдаст ответ НЕТ, зато другое найдёт целое число. Оно и станет решением предиката HALF.
Будем производить деление пополам до тех пор, пока первый объект не станет на единицу больше второго, либо первый объект сравняется с нулем. В первом случае ответ ДА, во втором – НЕТ.

Код:

БОЛЬШЕ(X,Y)<-ВЫЧ(1,Y,1,X),!; БОЛЬШЕ(X,Y)<-НЕ(EQ(X,0)),HALF(X,U),HALF(Y,V),БОЛЬШЕ(U,V);

Операция деления выполняется дольше, чем вычитание единицы, но ответ получается за меньшее число шагов (для 16-разрядных чисел максимум за 16 рекурсивных вызовов).

Графические возможности

В Пролог-Д встроен предикат ОТР для рисования отрезков в чёрно-белом режиме 512 на 240 точек. Левому верхнему углу экрана соответствуют координаты 0,0.

Код:

ОТР(A,B,X,Y,1)

Предикату ОТР передают 5 объектов. Первые два - горизонтальная и вертикальная координаты начальной точки. Следующие два объекта - координаты конечной точки. Пятый объект должен принимать либо значение 1 (отрисовка отрезка), либо 0 (стирание). Когда координаты начальной и конечной точки совпадают, длина отрезка равна нулю (он не рисуется).
Координата может быть одного из трёх типов:

Число
Переменная, которая не используются нигде, кроме предиката ОТР
Переменная, значение которой вычислено Прологом-Д

В первом случае предикат нарисует один отрезок и вернёт ДА.
Во втором случае Пролог-Д, выполняя предикат ОТР, по очереди подставит на место неопределённой переменной все возможные значения (от 0 до 511 для горизонтальной координаты, от 0 до 239 для вертикальной). Только после того, как нарисовано всё множество отрезков, предикат закончит работу. Ответ ДА.
В третьем случае, если Пролог-Д не нашёл решения для переменной, отрезок не будет нарисован, а предикат ОТР выдаст ответ НЕТ. Если решение найдено, отрезок отобразится, ответ ДА.
После нахождения каждого решения для правила, содержащего один или несколько предикатов ОТР, Пролог-Д показывает текстовый курсор и ожидает нажатия любой клавиши, затем очищает экран и печатает решение. Повторное нажатие клавиши возвращает Пролог-Д к дальнейшему поиску решений.
Примеры трёх вопросов с разными типами координат:

Код:

? ОТР(0,120,511,0,1); ? ОТР(0,120,511,Y,1); ? ВЫЧ(A,2,1,511),ОТР(A,120,511,0,1);

В первом случае будет нарисован один отрезок. Ответ ДА.
Во втором случае отобразится множество отрезков, складывающихся в закрашенный треугольник. Ответ ДА.
В третьем случае Пролог-Д сначала вычислит значение переменной A, а затем предикат ОТР проведёт один отрезок из точки с координатами 255,120. Ответ после очистки экрана:

Код:

A=00255 ДРУГИХ РЕШЕНИЙ НЕТ

Если в третьем вопросе поменять местами предикаты ВЫЧ и ОТР, то к моменту выполнения ОТР значение переменной A ещё не будет вычислено.

Код:

? ОТР(A,120,511,0,1),ВЫЧ(A,2,1,511);

По умолчанию значение переменной считается равным нулю, поэтому отрезок будет нарисован из точки с координатами 0,120 и только после этого Пролог-Д посчитает значение переменной A.
Одновременное использование всех трёх типов объектов:

Код:

? ВЫЧ(A,2,1,511),ОТР(A,120,511,Y,1);

Из точки 255,120 будут проведены отрезки в множество точек с координатами 512,Y (где Y последовательно примет значения от 0 до 239). После появления текстового курсора, нажатия клавиши и очистки экрана будет напечатан ответ:

Код:

A=00255 Y=_1 ДРУГИХ РЕШЕНИЙ НЕТ

Для Y выводится, по-видимому, индекс этой неопределённой переменной.
Теперь создадим предикат DOT и наполним его фактами о координатах точек:

Код:

DOT(256,40); DOT(142,100); DOT(370,100); DOT(184,190); DOT(328,190);

Зададим три вопроса. Первый выдаст ответ ДА, второй - НЕТ:

Код:

? DOT(142,100); ? DOT(14,10); ? DOT(A,B),DOT(C,D),ОТР(A,B,C,D,1);

Третий вопрос приведёт к такому поведению Пролога-Д: из базы знаний будет выбрана первая пара точек (они окажутся одинаковыми) и нарисован отрезок между ними (для одинаковых точек это отрезок нулевой длины). Затем после нажатия клавиши экран очистится и появится ответ:

Код:

A=00256 B=00040 C=00256 D=00040

Нажав клавишу ещё раз, мы позволим Прологу-Д продолжить поиск решений. Из базы знаний будет выбрана следующая пара точек и нарисован отрезок между ними. Однако, на экране всё ещё останется предыдущий ответ. Раз за разом нажимая клавишу, мы будем видеть следующий отрезок, но предыдущие значения переменных A, B, C, D. Когда все возможные сочетания координат из базы знаний будут перебраны, появится ответ:

Код:

ДРУГИХ РЕШЕНИЙ НЕТ

Для того, чтобы рисовать отрезки не по одному, а все сразу, создадим правило STAR и запустим его на выполнение, задав вопрос:

Код:

STAR()<-DOT(A,B),DOT(C,D),ОТР(A,B,C,D,1),NO(); ? STAR();

Последний предикат NO нигде не описан, поэтому он всегда будет выдавать НЕТ, а значит и всё правило STAR тоже примет значение НЕТ. Даже найдя в базе знаний факты и нарисовав отрезок, Пролог-Д будет считать, что ответ на вопрос ?STAR не получен, поэтому не напечатает на экран значения переменных A, B, C, D и продолжит искать ответы. Когда база знаний будет исчерпана, Пролог-Д покажет текстовый курсор, а после нажатия клавиши - ответ НЕТ. Ведь предикат STAR так ни разу не принял значение ДА.
Как уже было сказано выше, правило может содержать несколько предикатов ОТР, а также другие правила, которые включают предикат ОТР. Это позволяет рисовать довольно сложные картины. Стирая отрезки, можно добиться даже некоторого подобия анимации.

Упражнения

Объясните работу программы нахождения N-го числа Фибоначчи:

Код:

ФИ(1,1)<-!; ФИ(2,1)<-!; N1(N,A)<-ВЫЧ(1,A,1,N); N2(N,B)<-ВЫЧ(1,B,2,N); ФИ(N,F)<-N1(N,A),N2(N,B),ФИ(A,X),ФИ(B,Y),ВЫЧ(1,X,Y,F); ? ФИ(7,F);

Напишите программу, вычисляющую факториал числа N.

Цитата:

Сообщение от dk_spb

тут есть oldpc.su/lib , там все в процессе допиливания и дополнения, но нужные журналы вроде доступны

а нет случайно документации по БК-шной версии языка Forth?