Kourie, D.G.; Van den Heever, R.J.
(Computer Society of South Africa (on behalf of SAICSIT), 1988)
Experiences and insights gained from implementing and using a Prolog trace generator for CSP
specifications are discussed. The use of Prolog as an implementation language is evaluated. The value of
trace generation as ...