Соответсвующая пепа лежит по первой ссылке в гугле. Но где можно скачать реализацию этого языка Schemer?
Все мои поиски scheme lisp amb require и т.д. привели только к screamer для cl, но это немного не то.
Здравствуйте, GSergey, Вы писали:
GS>Соответсвующая пепа лежит по первой ссылке в гугле. Но где можно скачать реализацию этого языка Schemer?
GS>Все мои поиски scheme lisp amb require и т.д. привели только к screamer для cl, но это немного не то.
Он всегда был реализован, как расширение CL:
Screamer is an extension of Common Lisp that adds support for
nondeterministic programming.
...
In several ways Screamer is more efficient than other implementations
of backtracking languages. First, Screamer code is transformed into
Common Lisp which can be compiled by the underlying Common Lisp
system. Many competing implementations of nondeterministic Lisp are
interpreters and thus are far less efficient than Screamer.
...
У автора на странице:
ftp://ftp.ecn.purdue.edu/qobi/screamer.tar.Z -- код 94 года
В CMU Artificial Intelligence Repository (тот же код + tools) 95 год:
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/lisp/code/ext/screamer/
Здравствуйте, z00n, Вы писали:
Любопытно было бы посмотреть, что за "other implementations",
потому что screamer такой на вид жестокий,
и не очень похож на то, что в статье 93 года описывается.
Я ищу именно scheme с amb и fail.
Z>Здравствуйте, GSergey, Вы писали:
GS>>Соответсвующая пепа лежит по первой ссылке в гугле. Но где можно скачать реализацию этого языка Schemer?
GS>>Все мои поиски scheme lisp amb require и т.д. привели только к screamer для cl, но это немного не то.
Z>Он всегда был реализован, как расширение CL:
Z>Z>Screamer is an extension of Common Lisp that adds support for
Z>nondeterministic programming.
Z>...
Z>In several ways Screamer is more efficient than other implementations
Z>of backtracking languages. First, Screamer code is transformed into
Z>Common Lisp which can be compiled by the underlying Common Lisp
Z>system. Many competing implementations of nondeterministic Lisp are
Z>interpreters and thus are far less efficient than Screamer.
Z>...
Z>У автора на странице:
Z>ftp://ftp.ecn.purdue.edu/qobi/screamer.tar.Z -- код 94 года
Z>В CMU Artificial Intelligence Repository (тот же код + tools) 95 год:
Z>http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/lisp/code/ext/screamer/
Здравствуйте, GSergey, Вы писали:
GS>Здравствуйте, z00n, Вы писали:
GS>Любопытно было бы посмотреть, что за "other implementations",
GS>потому что screamer такой на вид жестокий,
GS>и не очень похож на то, что в статье 93 года описывается.
GS>Я ищу именно scheme с amb и fail.
Наверное проще всего взять PLT scheme и поставить туда
amb.plt(
amb.doc).
Примерная реализация AMB для Scheme описана в
Teach Yourself Scheme in Fixnum Days
Здравствуйте, z00n, Вы писали:
Z>Здравствуйте, GSergey, Вы писали:
GS>>Здравствуйте, z00n, Вы писали:
GS>>Любопытно было бы посмотреть, что за "other implementations",
GS>>потому что screamer такой на вид жестокий,
GS>>и не очень похож на то, что в статье 93 года описывается.
GS>>Я ищу именно scheme с amb и fail.
Z>Наверное проще всего взять PLT scheme и поставить туда amb.plt(amb.doc).
Z>Примерная реализация AMB для Scheme описана в Teach Yourself Scheme in Fixnum Days
Ок, спасибо, посмотрю. Учитывая библиографию, там скорее всего реализован простой перебор вариантов,
а не управляемый зависимостями, ну в общем для начала сойдет