manuel-carro

Pinned Repositories

• alldocs

  Reference manuals for Ciao

  Language:TeX1400

• ciao

  Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

  Language:Prolog267228320

• ciao_emacs

  Ciao mode for Emacs

  Language:Emacs Lisp5413

• lpdoc

  Documentation Generator for Prolog

  Language:Prolog3501

manuel-carro's Repositories