Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
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. 
#******************************************************
#  AUTOMATED TEST SETTINGS
#------------------------------------------------------
#AUTHOR= T.L. McCluskey and Pat Diskin
#LANGUAGE_VERSION=classic
#INV_CHECKS=true
#POST_CHECKS=true
#PRE_CHECKS=true
#DYNAMIC_TYPE_CHECKS=true
#SUPPRESS_WARNINGS=false
#DOCUMENT=planner.tex
#ENTRY_POINT=
#EXPECTED_RESULT=NO_ERROR_TYPE_CHECK
#******************************************************
New to GrepCode? Check out our FAQ X