Блядь, с тегом обосрался. Модер, воткни /prolog/, если не западло.
У нас уже есть пруверов тред. Он дарит открытия
Бамп.
> Бамп.
Нахуя ты в тематике бампаешь, говно?
Чтобы тебе сразу разорвало, чмоня.
>всея программерского рунета
ты проспал где-то лет 7 или больше, сейчас эта клоака - это реальное днище, хуй знает зачем захожу сюда по инерции
А swi пролог не прувер, это язык программирования общего назначения.
Почему рекомендуешь? Что дало, чему научился?
С пиком на пике что-то не так
Прикольная идея с backtracking из коробки. Интересное обощение операции сравнения и присваивания(инстанцирование), позволяющее менять поведение алгоритма в зависимости от определённости аргументов предиката. Ещё в swi-prolog завезли проганье в ограничениях, что прям зоебис. Вообще, в эпоху всякого интерпритируемого говна без задач, пролог прям даёт за щеку своим бесконечным потанцевалом. Хотя конечно реализация циклов через рекурсии превращают ваш комп в кукурузу да и хуй с ним.
Смерда императивная, пошёл вон! Давай тебе оперативки подкинем, или может ядер не хватает? Рекурсия не нравится? Хорошо, так и запишем. Мы тебе быстро с пациками подгоним ресурсы и вставим куда надо!
>Хотя конечно реализация циклов через рекурсии превращают ваш комп в кукурузу
В оптимизацию хвостовой рекурсии не может только всякая императивная дрисня вроде питона. А если наши компиляторы всё равно гарантируют оптимизацию хвостовой рекурсии в машкод лупа, то может стоит перестать ебать воображаемые байтики, и занятся написанием непосредственно краткого, красивого и читабельного кода с применением рекурсии?
Оставлю это здесь. А то вы тут как в шестидесятых, всё на каты поди дрочите.
http://adam.chlipala.net/papers/MakamICFP18/
http://adam.chlipala.net/papers/MakamICFP18/
Если чё там недавно новый релиз Mercury был, спустя 6 лет.
Помогите с лабой.Язык не интересен, просто сдать и все.Надо вывести элементы, чередующиеся через один.Не понимаю, как нормально выйти из рекурсии.
Если ты не можешь это осилить, то тебе не место в ОйТи...
>Пролог - язык общего назначения
Эти маняфантазии борщехлёба...
>пук
Что сказать то хотел?
>пук
>пук
пук
В век потребительского прагматизма и клипового мышления никому не интересны технологии за бортом рынка. Но мы то с вами знаем, что счастье не в деньгах.
>ну да пук все парадигмы надо среньк но ведь есть SQL гхмблх среньк
Конечно же реляционная алгебра, заточенная под задачу, это круто, но PROLOG - это другое. Это искусство. Это... это, в конце концов, один из лучших способов вернуть школьную ламповость в свою сычевальню, ведь именно часы за прологом подарят тебе незабываемую радость открытий, как первый helloworld на Паскале.
Итак, делимся годнотой. А я буду скуп:
https://www.doc.gold.ac.uk/~mas02gw/prolog_tutorial/prologpages/