Metainterpreters for expert system construction
Journal of Logic Programming
Logic programming: systematic program development
Logic programming: systematic program development
The craft of Prolog
A workbench for developing logic programs by stepwise enhancement
A workbench for developing logic programs by stepwise enhancement
Meta-programming for knowledge-based systems in Prolog
Meta-programming for knowledge-based systems in Prolog
Applying techniques to skeletons
Constructing logic programs
Logic for Problem Solving
Classical and Object-Oriented Software Engineering with Uml and Java + Code Warrior
Classical and Object-Oriented Software Engineering with Uml and Java + Code Warrior
Software Engineering: A Practitioner's Approach
Software Engineering: A Practitioner's Approach
PROLOG and Natural Language Analysis
PROLOG and Natural Language Analysis
TANDEM - a design method for integrating web services into multi-agent systems
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Agent-oriented modelling: declarative or procedural?
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Hi-index | 0.00 |
An approach to Prolog programming based on patterns is presented. Two classes of patterns are identified. Skeletons are programs constituting a specific control flow and act as reusable starting components for program development in Prolog. Techniques are standard operations that can be performed on a wide range of skeletons. The result of applying a technique to a skeleton is a new program which performs additional Prolog computations while following the control flow of the skeleton. Both classes of patterns are straightforward to understand and reuse due to the high level of abstraction of logic programming languages. Taking a pattern-directed view makes Prolog programs easier to build, for which some anecdotal evidence is given. In honour of Professor Bob Kowalski, the patterns are traced back where possible to Kowalski's original monograph on logic programming.