Orchid is a simple logic language implemented in C. It can be used to check simple proofs and confirm sound reasoning.

Much like Concrete Basic Orchid was written during my time at Charles University. It represents an attempt to explore a Prolog like language, with a more freeform Lisp-like syntax.

Check out the source code