4 ms·
Truth Table Generator WebApp Written in Common Lisp
- laszlokorte 8y agoI like the way you have equivalences and inferences defined as functions expr -> expr. But it seems those are not exposed via the user interface, or am I missing something? Related: A few years ago I wrote a propositional logic parser in Dart [1] using a custom shunting yard parser and later as part of my bachelors thesis [2] another one [2] in javascript using PegJS. [1] https://static.laszlokorte.de/logik/ https://static.laszlokorte.de/logik/ (source: https://github.com/laszlokorte/dart-logic https://github.com/laszlokorte/dart-logic) [2] https://thesis.laszlokorte.de https://thesis.laszlokorte.de [3] https://thesis.laszlokorte.de/demo/logic-editor.html https://thesis.laszlokorte.de/demo/logic-editor.html
- lerax 8y agoYes, it's not exposed because this is a WIP project. My final mission would be have a function called prove that will try N inference and equivalence rules to prove a conclusion given a set of premisses. https://github.com/ryukinix/lisp-inference/issues/2 https://github.com/ryukinix/lisp-inference/issues/2 BTW, Cool project written in Dart!!! I'll take as reference. Thanks for the feedback. The UX of [3] it's awesome too!
- deleted 8y ago[deleted]
- deleted 8y ago[deleted]
- kazinator 8y agohttps://stackoverflow.com/a/34377302/1250772 https://stackoverflow.com/a/34377302/1250772
- lerax 8y agoCool :) but for me is more fun to write than to use.