Comments 10
Не понял зачем perl и tcl использовать, чем swi-prolog не подошел для этого ?
Пример с tcl, как и с lua был сделан просто для того, чтобы показать, что другие встраиваемые в perl языки могут вызывать функции perl из себя. А встроенный в perl prolog этого не может -/
Я бы предпочёл вызывать Tcl-функции из перла (не сложно прилинковать libtcl). Но зачем?
Ну, линковать ничего не надо: всё делает модуль Tcl: и функции tcl из perl-a вызывает и регистрирует в tcl функции perl-a, чтобы вызванные перелом функции tcl могли вызвать перловые ;)
А зачем? На tcl написано множество библиотек для поддержки виджетов tk. То есть можно, если у тебя есть наработки на tcl, интегрировать их с perl-ом, вот как в этом проекте, например: https://github.com/darviarush/ninja. А конкретней, в этих модулях: https://github.com/darviarush/ninja/blob/master/lib/Ninja/MainWindow.pm и https://github.com/darviarush/ninja/blob/master/lib/Ninja/tk/main-window.tcl
Уж лучше Lean или Coq
А чем лучше? Эти языки программирования — функциональные. То есть не смогут найти все варианты доказательств, если вы решите на них доказывать теоремы. А логические языки — могут ;)
lean и coq в первую очередь логические, и во вторую функциональные. Ещё какой-нибудь idris из той же оперы, но я про него сходу не вспомнил. Синтаксис у них заметно приятнее и адекватнее чтоли, поддержка редакторов выше включая отладку. Библиотеки есть живые. У Idris ещё и компиляция во всякое есть. Всё для людей (ну, почти).
Ещё раз просмотрел coq и не нашёл никаких признаков логического языка. Вот как на нём написать предикат append/3, из примера в этой статье, и запустить его так, чтобы получить все комбинации двух списков, которые приводят к образованию 3-го (комбинации так же указаны в статье)?
Синтаксис у них, как у ML, собственно, почти все функциональные языки являются его диалектами, исключая разве что lisp.
У vscode я ставил плагин для пролога - тоже ошибки синтаксиса подчёркивает и по библиотекам перемещается, если с Ctrl щёлкнуть )
Можно вопрос? Как вы отличаете живые и мёртвые библиотеки?
Как я упоминал в статье, есть пролог на js для выполнения в браузере. Mercury компилируется в байт-код. А вот coq и irdis могут из под perl-а выполнятся, как пролог из примера в этой статье? )
"Прогресс неумолимо стремится вперёд, заставляя программистов использовать git, docker и chat-GPT. В то же время древние технологии 60-х, 70-х, 80-х, 90-х и 2000-х предаются забвению... "
чет скупая мужская слеза потекла.
https://melonland.net/ - наткнулся на этот сайт, тож всгрустнул.
Интернет же действительно умирает, большинство информации удаляется.
До git и прочих систем контроля версий использовали набор команд: diff, patch и прочее. Вместо докера и lxd/lxc – chroot. Всё это дело наворачивали самописными скриптами, которые у каждого были свои. git и docker имеют так же сайты для развёртки проектов: github и hub.docker.com. Так что на крупных проектах и раньше часть времени уходило тупо на поддержку разработки, а не на программирование.
Исключение: сайты на php. Там каждый программист имел свой каталог и сам выкладывал изменённые файлики из него на прод через ftp. При такой схеме каждый программист работал отдельно и ресурсов на поддержку команды не тратилось (не нужны были ПМ-ы, аналитики, девопсы и ведущие программисты, а зачастую и тестировщики с QA-инженерами).
Что касается чат-жпт, то мне удобнее погуглить и просмотреть первых 3 ссылки, чем задавать наводящие вопросы чат-жпт. Но тут уж кто к чему привык )
Пролог в Perl