H ?
«
‹
←
→
›
»
Language peer sets for Tokio: Japan↑ Japan/1987↑ Designed 1987 ↑ 1980s languages ↑ Fifth generation↑ Late Cold War↑ Tokio(ID:5067/tok002)alternate simple viewCountry: Japan Designed 1987 Logical programming language for interval temporal logic Shinji Kono 1987 Tokio, based on interval temporal logic. It is supported by both an interpreter and a compiler. It is close to Tempura, but supports non-deterministic execution. Related languages
References: Internal errorLETVAR\\\: Invalid procedure call or argument 5 ProtiumLPNDB at strContent Checking wild card in Wada, E. (1986) Wada, E. (ed),Logic Programming'85, LNCS 221, Springer-Verlag, 1986. in Wada, E. (1986) Wada, E. (ed),Logic Programming'85, LNCS 221, Springer-Verlag, 1986. Internal errorLETVAR\\\: Invalid procedure call or argument 5 ProtiumLPNDB at strContent Checking wild card in Wada, E. (1986) Wada, E. (ed),Logic Programming'85, LNCS 221, Springer-Verlag, 1986. in Wada, E. (1986) Wada, E. (ed),Logic Programming'85, LNCS 221, Springer-Verlag, 1986. Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |