How to create a parser in erlang that will take a well-formed propositional formula and transform it into some internal representation.
A list of available tools for creating a parser in erlang, as well as projects that use them, can be useful.
source
share