grammars

This library provides Definite Clause Grammars (DCGs) for common parsing tasks. The DCGs support parsing both lists of characters (aka chars) and lists of character codes (aka codes).

Currently, four groups of DCGs are available, each defined in its own file:

  • blanks (blank_grammars.lgt)

  • numbers (number_grammars.lgt)

  • sequences (sequence_grammars.lgt)

  • IP addresses (ip_grammars.lgt; depends on number_grammars.lgt)

API documentation

Open the ../../docs/library_index.html#grammars link in a web browser.

Loading

To load all entities in this library, load the loader.lgt file:

| ?- logtalk_load(grammars(loader)).

Testing

Minimal tests for this library predicates can be run by loading the tester.lgt file:

| ?- logtalk_load(grammars(tester)).

Usage

The library uses (when necessary) parametric objects where the single parameter can be either chars or codes. The parameter must be bound when using the DCGs. For example, when using implicit message sending:

:- uses(blank_grammars(chars), [
    white_spaces//0, new_lines//0
]).