Title :
TGHC: timed guarded Horn clauses
Author_Institution :
Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA
Abstract :
A description is given of the design principles, syntax, and semantics of the distributed real-time programming language TGHC (timed guarded Horn clauses). TGHC is a descendant of concurrent logic programming languages and it is capable of explicitly expressing time constraints by introducing the timed guard to GHC. A formal semantics of a subset of TGHC is also given
Keywords :
logic programming languages; parallel languages; real-time systems; temporal logic; GHC; concurrent logic programming languages; design principles; distributed real-time programming language TGHC; formal semantics; semantics; syntax; time constraints; timed guard; timed guarded Horn clauses; Application software; Computer languages; Computer science; Concurrent computing; Logic design; Parallel processing; Parallel robots; Real time systems; Robotics and automation; Timing;
Conference_Titel :
TRON Project Symposium, 1992. Proceedings., Ninth
Conference_Location :
Tokyo
Print_ISBN :
0-8186-2990-8
DOI :
10.1109/TRON.1992.313260
