Syntax Requirement - Hikkihiki/LogicVerifier GitHub Wiki

Since I am lazy, let's do first order logic directly...

There will be three type of languages

  1. assembly language / byte code (barely readable, optimised for speed)

  2. programming language (readability and writability)

  3. displaying language (something like Latex)

Priority: 2 > 3 > 1

Programming Language Requirement

Must have

  1. One-to-one mapping to a displaying language.

  2. Able to specifies production rules (e.g. !(A && B) => !A || !B )

Good to have

Bonus