Popular repositories Loading

1. SWI-Prolog-validation SWI-Prolog-validation Public

   A ChatGPT plugin that will validate Prolog code generated by ChatGPT by compiling the code with SWI-Prolog.

   Python 3 1

2. Equational-implication-graph-four-operations Equational-implication-graph-four-operations Public

   Proof of concept for large number of nodes using Cytoscape.js

   HTML 1

3. Finite-Magma-Game-Dev Finite-Magma-Game-Dev Public

   Development/Proof of concept version for the Finite Magma Game.

   HTML

4. OEIS-B-file-stats- OEIS-B-file-stats- Public

   Some raw statistics about OEIS B-file sizes

   HTML

5. Prolog-C-source-dependency-generator Prolog-C-source-dependency-generator Public

   Generate C source code dependency graph using Prolog

   Prolog

6. prolog-dcg-skill prolog-dcg-skill Public

   Guide Claude in writing efficient, idiomatic SWI-Prolog DCGs (Definite Clause Grammars) following best practices for single-pass parsing, character codes, pure declarative style, and accumulator pa…