langback@ibsun.abo.fi (Thomas L}ngbacka INF) (03/12/90)
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) * *******************************************************************************