Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site gitpyr.UUCP Path: utzoo!linus!gatech!gitpyr!allen From: allen@gitpyr.UUCP (P. Allen Jensen) Newsgroups: net.lang.prolog Subject: Prolog based Software Specification Language Message-ID: <643@gitpyr.UUCP> Date: Sat, 10-Aug-85 17:36:30 EDT Article-I.D.: gitpyr.643 Posted: Sat Aug 10 17:36:30 1985 Date-Received: Mon, 12-Aug-85 06:26:48 EDT Organization: Georgia Institute of Technology Lines: 11 Keywords: Prolog, specification 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