A prolog toolkit for formal languages and automata.

Michel Wermelinger Artur Miguel Dias

Published in: ITiCSE (2005)

Keyphrases

formal languages
formal language theory
natural language
logic programming
context free grammars
formal language
pattern languages
expert systems
knowledge representation
knowledge base
e learning
software engineering