Subject: Re: Рефал и база знани
From: Arkady Klimov (klark@bagirra.net)
Date: Sat Oct 13 2001 - 14:52:40 MSD
----- Original Message -----
From: Leonid Belous
To: Ермолаев Дмитрий
Cc: refal@botik.ru
Sent: Friday, October 12, 2001 5:10 PM
Subject: Re: Рефал и база знаний
Здравствуйте, Дмитрий!
Возможно ли чтобы РЕФАЛ мог обрабатывать динамические факты и правила.
Если можно, то уточните, что Вы имеете ввиду?
Тоесть, есть ли нтерпритатор РЕФАЛА.
Все три диалекта Рефала (Рефал-5, Рефал-плюс, Рефал-6) не являются в чистом виде интерпретаторами, а содержат компилирующую часть, которая переводит программу на специальный промежуточный язык, который затем интерпретируется. С моей точки зрения минимальная компилирующая часть у Рефала-5, которую в определенной степени можно и не замечать (достаточно быстро работает), и просто считать Рефал-5 интерпретатором.
Прошу прощения у авторов реализаций Рефала , ежели я чего не так сказал, поправьте.
Или как-то можно обойтись и так?
Если я правильно понял, то в принципе Вам хотелось бы обрабатывать динамически меняющиеся Рефал-предложения?
Меня, как пользователя Рефала, когда-то занимал этот вопрос, и насколько я помню, из этой ситуации успешно вышел Леонид Проворов при создании своей системы АЛЬКОР. У него был свой диалект Рефала (близкий к т.н. базисному).
Леонид, если Вы читаете конференцию, то просьба поделится своими идеями на этот счет.
Хотелось бы также услышать мнение Аркадия Климова, поскольку, как мне показалось, он косвенным образом затрагивал этот вопрос на Рефал-семинарах, в связи с задачами суперкомпиляции.
Да, если речь об этом, то в Рефале-6 имеется возможность динамически пополнять "поле памяти" (то есть работающую программу), и на этой основе, можно писать программы, порождающие новые функции с занесением последних в поле памяти (через посредство вызова компилятора, который написан целиком на рефале и умеет оставлять свой результат сразу в поле памяти, минуя файл).
Аркадий
С уважением,
--Леонид Белоус
----- Original Message -----
From: Ермолаев Дмитрий
To: refal-plus@botik.ru
Sent: Wednesday, October 10, 2001 6:15 PM
Subject: Рефал и база знаний
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:24:59 MSD