Tokio: logic programming language based on temporal logic and its compilation to Prolog

• Authors:

• M Fujita;S Kono;H Tanaka;T Moto-oka

• Affiliations:

• -;-;-;-

• Venue:
• Proceedings on Third international conference on logic programming
• Year:
• 1986