DyALog may be used just to evaluate standard PROLOG programs but its main finality is to design efficient parsers for several grammatical formalisms used in Computational Linguistics:
DyALog provides a rich subset of all builtins provided by most PROLOG systems (Input/Output, Arithmetic, Term Comparison, ...) and may be interfaced with C to inherit C libraries API.
DyALog also provides several extensions to the usual PROLOG syntax and data structures to ease grammar development, including:
DyALog provides many useful features to design more efficient parsers, including:
An English documentation for DyALog ( PDF) exists but is still largely incomplete and outdated.