Skip to content
Snippets Groups Projects
Michael Hanus's avatar
Michael Hanus authored
cf7aba15
History
Name Last commit Last update
examples
src
.gitignore
LICENSE
README.md
package.json

fl-parser: Functional logic parser combinators

This package contains a library with functional logic parser combinators.

The idea and structure of these combinators are adapted from:

Rafael Caballero and Francisco J. Lopez-Fraguas:
A Functional Logic Perspective of Parsing.
In Proc. FLOPS'99, Springer LNCS 1722, pp. 85-99, 1999

This paper contains a detailed description of the idea and usage of these parser combinators.

The examples directory contains examples for using these combinators for parsing.

  • Palindrome.curry: a parser for palindromes over the alphabet 'a' and 'b' showing also the possibility to generate correct sentences with functional logic parsers
  • ExprParser.curry: a parser for arithmetic expressions over natural numbers