[comp.software-eng] PROLOG as a Specification Language

warren@psu-cs.UUCP (Warren Harrison) (11/27/88)

I'm currently looking at using a variant of PROLOG as a formal specification
language.  Could anyone out there supply some pointers to papers which deal
with the subject of PROLOG as a formal speciifcation language?  Many thanks.

Warren
-- 
-------------------------------------------------------------------------------
Warren Harrison                 CSNET: warren@pdx.edu
Department of Computer Science  UUCP:  {ucbvax,decvax}!tektronix!psu-cs!warren
Portland State University       Internet: warren%pdx.edu@relay.cs.net
Portland, OR 97207-0751