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
#=>