Path: utzoo!utgpu!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!ames!oliveb!intelca!mipos3!omepd!psu-cs!warren From: warren@psu-cs.UUCP (Warren Harrison) Newsgroups: comp.software-eng Subject: PROLOG as a Specification Language Message-ID: <1296@psu-cs.UUCP> Date: 26 Nov 88 17:16:22 GMT Organization: Dept. of Computer Science, Portland State University; Portland OR Lines: 12 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