ciao
v1.24.0
CIAO adalah bahasa pemrograman tujuan umum dalam keluarga prolog yang dibangun dari kernel sederhana berbasis logika , dan dirancang untuk diperluas dan modular. Silakan periksa dokumentasi untuk daftar fitur lengkap.
Repositori ini berisi kompiler CIAO, pustaka standar, dan sistem pembuatan. Fitur canggih lainnya (analisis statis, pembuatan dokumentasi, lingkungan pengembangan berbasis Emacs, dll.) Disediakan dalam bundel terpisah.
curl https://ciao-lang.org/boot -sSfL | sh
Silakan berkonsultasi dengan instruksi instalasi untuk detailnya.