This is a demonstration project that will be used to illustrate a few introductory formal logic concepts in Clojure. It consists of a presentation and some code, both in Prolog and in Clojure. In the latter, core.logic is used.
These concepts were presented at the National Capital Area Clojure Users Group on 2017-04-12. See the event page for details.
The Prolog code is contained in a single file, logic.pl
, located in the root
project directory. This is written and tested in SWI-Prolog. You can interact
with the code by entering your Prolog interpreter and running:
consult("logic.pl").
The Clojure part of this application is only intended to be used from the REPL. To run the application use:
lein repl :headless
Then connect to it in Emacs via M-x cider-connect
.
There is also a presentation in org-mode (to be used with org-present) in the
doc/
directory. Open this file in Emacs and run M-x org-present
. You’ll, of
course, need to have installed the org-present package.
Copyright © 2017
Distributed under the GNU Public License version 3.0.