DALI


  • DALI is a meta interpreter built on top of Sicstus Prolog (R) (at the moment).