Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog.

Masahiro Fujita, Shinji Kono, Hidehiko Tanaka, Tohru Moto-Oka

Browse the full ICLP paper archive.