Logic Programming Articles

There are several areas of research in the declarative programming community, including inductive logic programming (ILP), where system build rules from making inferences from a provided data set, and Definite Clause Grammars (DCG), an effective system for building scanning/parsing systems and related systems. Definite Clause Grammars: Not Just for Parsing Anymore presents some practical applications of DCGs that help programs become more computational powerful and orders of magnitude faster. The same problem is addressed using a similar technique, Monads in Haskell, that article is available on the logicaltypes.blogspot.com site.

Cotillion Group Inc.
7309 Inzer Street
Springfield, VA 22151
703.642.1302
703.642.3230 fax