frenchy64/Logic-Starter

Starter Project for Introduction to Logic Programming with Clojure

Clojure

221

48 commits

updated Nov 19, 2025

README

Starter project for Introduction to Logic

Start here: https://github.com/frenchy64/Logic-Starter/wiki

Special Thanks to:
David Nolen


Thanks to:
Isaac Praveen
Jim Duey

Not written in Markdown, so it's shown here as plain text — view it formatted on GitHub.

Contributors

frenchy64

47 commits

swannodette

1 commits

Similar repos

potassco/clingo

🦉 A grounder and solver for logic programs.

835

yifan1130/chain_of_thought

awodey/CatLogNotes

Categorical Logic Notes

eerohele/Tutkain

A Sublime Text package for interactive Clojure development

Ashfaque-Rahman/SOEN-691-Project

cychomatica/FreeDave-RL

work in progress

luketerry0/nlp-project

vasilisvyth/Reasoning-for-text-retrieval

Languages

Clojure

100.0%

frenchy64/Logic-Starter

Starter Project for Introduction to Logic Programming with Clojure

Clojure

221

48 commits

updated Nov 19, 2025

See the code

README

Starter project for Introduction to Logic

Start here: https://github.com/frenchy64/Logic-Starter/wiki

Special Thanks to:
David Nolen


Thanks to:
Isaac Praveen
Jim Duey

Not written in Markdown, so it's shown here as plain text — view it formatted on GitHub.

Similar repos

potassco/clingo

🦉 A grounder and solver for logic programs.

835

yifan1130/chain_of_thought

awodey/CatLogNotes

Categorical Logic Notes

eerohele/Tutkain

A Sublime Text package for interactive Clojure development

Ashfaque-Rahman/SOEN-691-Project

cychomatica/FreeDave-RL

work in progress

luketerry0/nlp-project

vasilisvyth/Reasoning-for-text-retrieval

Contributors

frenchy64

47 commits

swannodette

1 commits

Languages

Clojure

100.0%