Add reader macro for proposition as P()

ryukinix / lisp-inference

An Inference Engine based on Propositional Calculus written in Common Lisp

https://logic.manoel.dev

BSD 3-Clause "New" or "Revised" License

40 stars 1 forks source link

Open ryukinix opened 5 years ago

ryukinix commented 5 years ago

Whishful desires:

(prove :premises (list P(p => q) P(q))
       :conclusion P(q)) ;; T
;;; modus ponens