30 lines (27 loc) · 470 Bytes

Requirements

python3.6+

Usage

python3 main.py [filename]

Grammar

+ -> binary and
| -> binary or
^ -> binary xor
! -> unary not
=> -> implication, a->b: if a then b
<=> -> bi-directional implication
=ARGS -> fact list
?ARGS -> hypothesis list

Example

Type "quit" to exit the program.
#=> a+b=>c
#=> c=>d
#=> e=>a
#=> =be
#=> ?d
Rule d, True
#=>