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

Lecture Notes in Computer Science - Third International Conference on Logic Programming ◽

10.1007/3-540-16492-8_119 ◽

1986 ◽

pp. 695-709 ◽

Author(s):

M. Fujita ◽

S. Kono ◽

H. Tanaka ◽

T. Moto-oka

Keyword(s):

Logic Programming ◽

Temporal Logic ◽

Programming Language ◽

Logic Programming Language

Download Full-text

Implementation of temporal logic programming language Tokio

Logic Programming '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-16479-0_14 ◽

1986 ◽

pp. 138-147 ◽

Author(s):

S. Kono ◽

T. Aoyagi ◽

M. Fujita ◽

H. Tanaka

Keyword(s):

Logic Programming ◽

Temporal Logic ◽

Programming Language ◽

Logic Programming Language ◽

Temporal Logic Programming

Download Full-text

A framed temporal logic programming language

Journal of Computer Science and Technology ◽

10.1007/bf02944904 ◽

2004 ◽

Vol 19 (3) ◽

pp. 341-351 ◽

Author(s):

Zhen-Hua Duan ◽

Maciej Koutny

Keyword(s):

Logic Programming ◽

Temporal Logic ◽

Programming Language ◽

Logic Programming Language ◽

Temporal Logic Programming

Download Full-text

Temporal logic programming language Tokio programming in Tokio

Logic Programming '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-16479-0_13 ◽

1986 ◽

pp. 128-137 ◽

Author(s):

T. Aoyagi ◽

M. Fujita ◽

T. Moto-oka

Keyword(s):

Logic Programming ◽

Temporal Logic ◽

Programming Language ◽

Logic Programming Language ◽

Temporal Logic Programming

Download Full-text

Erratum to A framed temporal logic programming language

Journal of Computer Science and Technology ◽

10.1007/bf02973464 ◽

2004 ◽

Vol 19 (6) ◽

pp. 985-985 ◽

Author(s):

Zhen-Hua Duan

Keyword(s):

Logic Programming ◽

Temporal Logic ◽

Programming Language ◽

Logic Programming Language ◽

Temporal Logic Programming

Download Full-text

Using the temporal logic programming language Tokio for algorithm description and automatic CMOS gate array synthesis

Logic Programming '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-16479-0_24 ◽

1986 ◽

pp. 246-255 ◽

Author(s):

Masahiro Fujita ◽

Makoto Ishisone ◽

Hiroshi Nakamura ◽

Hidehiko Tanaka ◽

Tohru Moto-oka

Keyword(s):

Logic Programming ◽

Temporal Logic ◽

Programming Language ◽

Logic Programming Language ◽

Temporal Logic Programming ◽

Download Full-text

Integration of Linear Constraints with a Temporal Logic Programming Language

2013 International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2013.30 ◽

2013 ◽

Author(s):

Qian Ma ◽

Zhenhua Duan ◽

Mengfei Yang

Keyword(s):

Logic Programming ◽

Temporal Logic ◽

Programming Language ◽

Linear Constraints ◽

Logic Programming Language ◽

Temporal Logic Programming

Download Full-text

Instrumenting a logic programming language to gather provenance from an information extraction application

Proceedings of the 21st international conference companion on World Wide Web - WWW '12 Companion ◽

10.1145/2187980.2188141 ◽

2012 ◽

Author(s):

Christine F. Reilly ◽

Yueh-Hsuan Chiang ◽

Jeffrey F. Naughton

Keyword(s):

Information Extraction ◽

Logic Programming ◽

Programming Language ◽

Logic Programming Language

Download Full-text

Pluto: an object-oriented logic programming language

Proceedings 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems. TOOLS 39 ◽

10.1109/tools.2001.941669 ◽

2002 ◽

Author(s):

Mengchi Liu

Keyword(s):

Logic Programming ◽

Programming Language ◽

Object Oriented ◽

Logic Programming Language

Download Full-text

αProlog: A Logic Programming Language with Names, Binding and α-Equivalence

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27775-0_19 ◽

2004 ◽

pp. 269-283 ◽

Author(s):

James Cheney ◽

Christian Urban

Keyword(s):

Logic Programming ◽

Programming Language ◽

Logic Programming Language

Download Full-text

An operational semantics of ANDOR-II, a parallel logic programming language with AND- and OR- parallelism

Lecture Notes in Computer Science - Concurrency: Theory, Language, and Architecture ◽

10.1007/3-540-53932-8_51 ◽

1991 ◽

pp. 173-209

Author(s):

Akikazu Takeuchi ◽

Kazuko Takahashi

Keyword(s):

Logic Programming ◽

Programming Language ◽

Operational Semantics ◽

Logic Programming Language ◽

Parallel Logic Programming

Download Full-text