- python3.6+
python3 main.py [filename]
- + -> binary and
- | -> binary or
- ^ -> binary xor
- ! -> unary not
- => -> implication, a->b: if a then b
- <=> -> bi-directional implication
- =ARGS -> fact list
- ?ARGS -> hypothesis list
Type "quit" to exit the program.
#=> a+b=>c
#=> c=>d
#=> e=>a
#=> =be
#=> ?d
Rule d, True
#=>