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