Logic Programming

Logic (declarative) programming is finally moving from the research community into the mainstream. This style of programming is surprising different from traditional imperative programming methods, but, when used effectively, yields powerful results in expressing the problem and the solution in one pass.

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.

For those wishing to pursue more information in this extended and extensive field, please follow the below links as starting points:

• J.R. Fisher provides an excellent Prolog tutorial
• The Association of Logic Programming (ALP) has a journal and information on conferences.