Author: T.L. McCluskey and Pat Diskin


The specification is of the input language, and the central operations, 
of a domain-independent, partial order, constraint posting goal directed 
planner. It is essentially a model-based version of Chapman's TWEAK (1), 
and is used as a case study on VDM courses at the Univ. of Huddersfield. 
It is described fully, and prototyped in Prolog, in (2). 

Planning for Conjunctive Goals, D.Chapman, AI Journal no 32, 1987. 

The Construction of Formal Specifications: an Introduction to the 
Model-Based and Algebraic Approaches, J.Turner and McCluskey, 
McGraw-Hill Software Engineering Series, London. ISBN 0-07-707735-0. 

Language Version: classic