Xref: utzoo comp.ai:4245 comp.lang.prolog:1759
Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!rutgers!mailrus!uflorida!fishwick
From: fishwick@uflorida.cis.ufl.EDU (Paul Fishwick)
Newsgroups: comp.ai,comp.lang.prolog,fa.prolog
Subject: temporal logic
Keywords: temporal logic, software
Message-ID: <20438@uflorida.cis.ufl.EDU>
Date: 9 Jun 89 14:27:44 GMT
Organization: UF CIS Department
Lines: 6


Are there any available (i.e. FTP'able) temporal logic programming
languages floating around on the net? I would be most interested
to hear of any. Thanks.

-paul fishwick