Path: 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: 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 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) * *******************************************************************************