ciao
v1.24.0
CIAO -это язык программирования общего назначения в семействе Prolog, который накапливается из простого ядра на основе логики и предназначен для расширяемого и модульного. Пожалуйста, проверьте документацию для полного списка функций.
Этот репозиторий содержит компилятор CIAO, стандартные библиотеки и систему сборки. Другие расширенные функции (статический анализ, генерация документации, среда разработки на основе EMACS и т. Д.) Предусмотрены в отдельных пакетах.
curl https://ciao-lang.org/boot -sSfL | sh
Пожалуйста, обратитесь к инструкциям по установке для получения подробной информации.