allen@gitpyr.UUCP (P. Allen Jensen) (08/11/85)
I am trying to find information on Software Specification Languages
written in Prolog. I have looked at two non-procedural description
techniques, one based on regular expressions, the other utilizing a
data base approach. Bibliographic information would be of help. It
seems to me that Prolog would be a good language to use for developing
a software specification language.
--
P. Allen Jensen
Department of Civil Engineering
Georgia Insitute of Technology, Atlanta Georgia, 30332
...!{akgua,allegra,amd,hplabs,ihnp4,masscomp,ut-ngp}!gatech!gitpyr!allen