Pinned Loading

1. ciao-lang/ciao ciao-lang/ciao Public

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

   Prolog 274 21

2. bishoksan/RAHFT bishoksan/RAHFT Public

   RAHFT: A tool for verifying Horn clauses using abstract interpretation and finite tree automata

   Prolog 7 1

3. ciao-lang/devenv ciao-lang/devenv Public

   Full development environment (Emacs-based)

   Prolog 3

4. prolog-syntax-test prolog-syntax-test Public

   A test for Prolog syntax for github/linguist

   Perl 1

5. ciao-lang/lpdoc ciao-lang/lpdoc Public

   Documentation Generator for Prolog

   Prolog 3 1

6. jfmc.github.io jfmc.github.io Public

   website

   JavaScript