Temporal Logic Programming

Article View: comp.lang.prolog

Article #4277

#4277

From: Thomas L}ngbacka INF
Date: Mon, 12 Mar 1990 10:47

11 lines
1050 bytes

Does anyone have any references to articles on temporal logic programming?

Also, if there is any way to get the source for a meta-interpreter 
(for temporal logic programs) written in prolog, I would be very happy
to know how and where.
--
*******************************************************************************
* Thomas L}ngbacka                          email: langback@ibsun.abo.fi      *
* Swedish University of Turku (]bo Akademi)                                   *
*******************************************************************************

Technical Details

Message-ID: <LANGBACK.90Mar12124726@ibsun.abo.fi>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!tut.cis.ohio-state.edu!snorkelwacker!bloom-beacon!eru!luth!sunic!tut!ra!langback

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!tut.cis.ohio-state.edu!snorkelwacker!bloom-beacon!eru!luth!sunic!tut!ra!langback
From: langback@ibsun.abo.fi (Thomas L}ngbacka INF)
Newsgroups: comp.lang.prolog
Subject: Temporal Logic Programming
Message-ID: <LANGBACK.90Mar12124726@ibsun.abo.fi>
Date: 12 Mar 90 10:47:26 GMT
Sender: news@ra.abo.fi
Reply-To: langback@ibsun.abo.fi
Distribution: comp.lang.prolog
Organization: Abo Academy, Turku, Finland
Lines: 11