A modern Prolog with some significant extensions. The Ciao System v1.20
Installing Ciao didn't work for me, doesn't seem to pick up the correct Emacs location and then ciao-site-file.el doesn't exist. Dunno what's going on but I still have ~/opt/ciao-boot.sh