Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Home Page:https://ciao-lang.org
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool