Fujita M. et al "LP Language based on Temporal Logic and its compilation to Prolog", Proc. of Int. Conf. on LP, London, July 1986

Languages mentioned

• Tokio {1987}