пролог в лиспе

Ни в одной?

Гугль дает только allegro prolog.

да, только это неоправданно дорого для моих целей.

А нафиг такие требования, чтобы встроенным был? Вон на cliki их дофига на выбор. Сам я конечно prolog'ом не пользуюсь

Racklog is an embedding of Prolog-style logic programming in Racket.

Хотя мне тут уже давным-давно и неоднократно объяснили, что Racket — это не лисп. :)

Или это не то, что нужно?

Хе, кстати чё за лисп не сказано. Для меня это автоматом CL, так как других не знаю, лол. Вики говорит, что реализаций схемы тоже дофига

Вики говорит, что реализаций схемы тоже дофига

Дофига и больше.

Хотя, что бы мне там не объясняли, я так думаю: если

Depending on how you look at it, Racket is a programming language—a dialect of Lisp and a descendant of Scheme;

и

Они декларировали возможность писать на Racket совместимые с R6RS программы и модули,

то всё-таки можно использовать Racket, как диалект Scheme (лиспа).

А может, я и не прав. :)

Может и так, я всё равно в схемопроблемах не разбираюсь)

CL конечно.

А нафиг такие требования, чтобы встроенным был?

это у меня ложное убеждение - встроенный значит вероятнее, что качественный.

Пока, думаю, норвиговский вариант реализации пролога попробовать.

строенный значит вероятнее, что качественный

Всегда можно получить, если готов раскошелиться)

В Allegro CL есть пролог (Allegro Prolog), построенный на базе реализации Питера Норвига - директора по исследованиям в Гугл (если ничего не поменялось еще). Эта реализация описана в его книжке: Paradigms of Artificial Intelligence Programming

Qi же. Как странно, что ещё никто о нём не вспомнил.

Зачем нужен Qi, когда есть Shen?

Powerloom

Shen = Qi III

Schelog, mbase, racket, Shen.

В LispWorks есть Common Prolog, но я с ним не игрался (дорогой слишком для меня).

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

Хотя мне тут уже давным-давно и неоднократно объяснили, что Racket — это не лисп. :)

лисп это семейство языков к которому racket тоже относится

вообще, говоря, мне внутри лисповой программы нужна функциональность, которую предоставляет clips, но, в принципе, я обошелся бы и прологом, при условии, что затраты времени на его «интеграцию» равнялись бы нулю.

За picolisp спасибо - посмотрю на сколько он мне подходит.

А вот когда я приблизительно так же сказал, на меня выпрыгнули то ли трое, то ли четверо и буквально в течение нескольких минут (что для ЛОРа весьма странно) орали: «Racket — это не лисп, не scheme, не лисп, не лисп, не ли...» :)

Racket — это не лисп

Racket — это не Scheme, но лисп.

в какой реализации лиспа хороший встроенный пролог?

PicoLisp же :)

А вообще, можно все это элементарно реализовать самостоятельно.

Racket — это не Scheme, но лисп.

Вот же блин, опять двадцать пять...

Любят же на ЛОРе микроскопическим буквоедством заниматься.

В документации Racket сказано: можете писать scheme-программы, совместимые с R6RS. Не пользуйтесь новыми «плюшками» и «вкусняшками» Racket, и получите, что хотите. R6RS — это чей стандарт?

Впрочем, ладно — спор этот бессмысленный. Не хочу терять время.

R6RS — это не тру-схема же, почему, собственно, Racket и предали анафеме :)

Ещё раз — спорить не стану. Смысла не вижу.

Просто я, дебил и мудак, пишу на Racket scheme-программы. Так сойдёт? Теперь спокойнее стало?

PS: Конечно, я ковыряю Racket на предмет его новых возможностей, которые делают его совершенно другим, не-scheme языком. Но времени на это маловато.

Потому что не обратно-совместим со scheme? Но racket же почти надмножество scheme, за исключением некоторых нюансов. Ну и racket не целиком покрывает r6rs, даже в некоторых местах кардинально.

Вообще это больше предмет толстого троллинга и не стоит к этому относиться серьезно :)

Основные мнения на эту тему представлены здесь — http://www.r6rs.org/ratification/results.html

Мне просто ближе схемы старого образца, поэтому к Racket отношусь иронически :)

Да просто достали уже. Стоит только упомянуть в одном комменте вместе Racket и scheme, как тут же вылезает как минимум два-три этаких вот тролля, и начинается: «а racket не scheme, а racket не лисп».

А начинаешь спрашивать уточнения и объяснения, ни одного толкового слова ни из кого не вытянешь.

Я уже выше объяснил, как я отношусь к racket, как к инструменту, а не как к предмету спора и троллинга. Да, я его ещё не освоил в полной мере, я и не скрываю этого.

А вообще, вся эта моя ругань к тебе лично в наименьшей мере относится. :) Ты почти всегда аргументируешь и объясняешь.

Мне просто ближе схемы старого образца

Солидарен в этом. Ближе Guile и Bigloo.

поэтому к Racket отношусь иронически

А мне вот очень интересен Racket. Хоть он уже и не scheme. :)

PS: Конечно, я ковыряю Racket на предмет его новых возможностей, которые делают его совершенно другим, не-scheme языком. Но времени на это маловато.

была на хабре статейка, как к Racket прикручивали парсер какого-то своего языка и получался компилятор своего языка за 15 минут. Сейчас что-то ссылку не найду.