haskell-parser

Haskell parser of zeroth-order logic formulas. Parser was made using BNFC. Available syntax elements:

To use the parser, you need to feed ./TextLogic file entrance.

Example

Input:

echo "a ^ (x <=> ~c) => b" | ./TestLogic

Output:

Parse Successful!

[Abstract Syntax]

EImp (EAnd EVar_a (EEq EVar_x (ENot EVar_c))) EVar_b

[Linearized tree]

a ^ (x <=> ~ c)=> b

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
AbsLogic.hs		AbsLogic.hs
ErrM.hs		ErrM.hs
LexLogic.hs		LexLogic.hs
Makefile		Makefile
ParLogic.hs		ParLogic.hs
PrintLogic.hs		PrintLogic.hs
README.md		README.md
SkelLogic.hs		SkelLogic.hs
TestLogic.exe		TestLogic.exe
TestLogic.hs		TestLogic.hs
logic.cf		logic.cf