ciao

CIAO是Prolog家族中一種通用的編程語言，它是由基於邏輯的簡單內核構建的，其設計為可擴展和模塊化。請檢查文檔以獲取完整的功能列表。

該存儲庫包含CIAO編譯器，標準庫和構建系統。其他高級功能（靜態分析，文檔生成，基於EMACS的開發環境等）也分別提供。

安裝

curl https://ciao-lang.org/boot -sSfL | sh

請諮詢安裝說明以獲取詳細信息。