An Operational Semantics of Starlog

Starlog is a temporal logic programming language that supports declarative specification of reactive systems, input-output behaviour and destructive updates. This paper presents an operational semantics for Starlog. Its correctness and completeness with respect to a model semantics are proved.

[1]  Martín Abadi,et al.  Temporal Logic Programming , 1989, J. Symb. Comput..

[2]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[3]  Gabriel M. Kuper,et al.  Constraint Query Languages , 1995, J. Comput. Syst. Sci..

[4]  Frédéric Benhamou,et al.  Applying Interval Arithmetic to Real, Integer, and Boolean Constraints , 1997, J. Log. Program..

[5]  Divesh Srivastava,et al.  Bottom-Up Evaluation and Query Optimization of Well-Founded Models , 1995, Theor. Comput. Sci..

[6]  Pierre Deransart,et al.  Programming Languages Implementation and Logic Programming , 1989, Lecture Notes in Computer Science.

[7]  Dov M. Gabbay,et al.  Proceedings of the First International Conference on Temporal Logic , 1994 .

[8]  Teodor C. Przymusinski.  On the Declarative Semantics of Deductive Databases and Logic Programs , 1988, Foundations of Deductive Databases and Logic Programming..

[9]  David S. Warren.  A Logic Programming View of CLP , 1993 .

[10]  Andrei Mantsivoda,et al.  Flang and its Implementation , 1993, PLILP.

[11]  Frank Teusink,et al.  A characterization of stable models using a non-monotonic operator , 1993, Methods Log. Comput. Sci..

[12]  Adrian Walker,et al.  Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..

[13]  Frédéric Benhamou,et al.  Programming in CLP(BNR) , 1993, PPCP.

[14]  Dov M. Gabbay,et al.  Modal and temporal logic programming , 1987 .

[15]  Pascal Van Hentenryck,et al.  Design, Implementation, and Evaluation of the Constraint Language cc(FD) , 1994, Constraint Programming.

[16]  Anthony C. Klug.  On conjunctive queries containing inequalities , 1988, JACM.

[17]  Angelo Monfroglio,et al.  Integer Programs for Logic Constraint Satisfaction , 1992, Theor. Comput. Sci..

[18]  Pascal Van Hentenryck,et al.  The Constraint Logic Programming Language CHIP , 1988, FGCS.

[19]  Michael J. Maher,et al.  Beyond Finite Domains , 1994, PPCP.

[20]  Alain Colmerauer,et al.  An introduction to Prolog III , 1989, CACM.

[21]  Jack Minker.  Foundations of deductive databases and logic programming , 1988 .

[22]  Carlo Zaniolo,et al.  Deterministic and Non-Deterministic Stable Models , 1997, J. Log. Comput..

[23]  M. Bruynooghe.  Logic Programming, Proceedings of the 1994 International Symposium, Ithaca, New York, USA, November 13-17, 1994 , 1994, ILPS.

[24]  Pascal Van Hentenryck,et al.  A Generic Arc-Consistency Algorithm and its Specializations , 1992, Artif. Intell..

[25]  John G. Cleary.  COLLIDING PUCKS SOLVED USING A TEMPORAL LOGIC , 1989 .

[26]  Andreas Podelski,et al.  Constraint Programming: Basics and Trends , 1995, Lecture Notes in Computer Science.

[27]  Philippe Codognet,et al.  A Minimal Extension of the WAM for clp(FD) , 1993, ICLP.

[28]  Alan van Gelser.  Negation as failure using tight derivations for general logic programs , 1989 .

[29]  Jeffrey C. Lagarias.  The Computational Complexity of Simultaneous Diophantine Approximation Problems , 1985, SIAM J. Comput..

[30]  Teodor C. Przymusinski.  Every logic program has a natural stratification and an iterated least fixed point model , 1989, PODS.

[31]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[32]  Ben C. Moszkowski,et al.  Executing temporal logic programs , 1986, Seminar on Concurrency.

[33]  Wanli Ma,et al.  An Overview of Temporal and Modal Logic Programming , 1994, ICTL.

[34]  Mengchi Liu,et al.  DEDUCTIVE DATABASES - WHERE TO NOW? , 1990 .

[35]  Masahiro Fujita,et al.  Temporal Logic Programming Language Tokio - Programming in Tokio , 1985, LP.

[36]  Antony Galton,et al.  Temporal logics and their applications , 1987 .

[37]  Jianwen Su,et al.  Queries with Arithmetical Constraints , 1997, Theor. Comput. Sci..

[38]  Pascal Van Hentenryck,et al.  CLP(Intervals) Revisited , 1994, ILPS.

[39]  J. Davenport.  Editor , 1960 .

[40]  Peter Z. Revesz,et al.  A Closed-Form Evaluation for Datalog Queries with Integer (Gap)-Order Constraints , 1993, Theor. Comput. Sci..

[41]  Teodor C. Przymusinski.  Perfect Model Semantics , 1988, ICLP/SLP.

[42]  Jan Chomicki,et al.  Datalog with Integer Periodicity Constraints , 1994, J. Log. Program..

[43]  Alan Bundy,et al.  Proceedings of the Tenth International Conference on Logic Programming , 1993, ICLP 1993.

[44]  Roland H. C. Yap,et al.  The CLP( R ) language and system , 1992, TOPL.

[45]  Sally C. Brailsford,et al.  The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared , 1995, CP.

[46]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[47]  Kazunori Ueda,et al.  Proceedings of the 1991 international symposium on Logic programming , 1991 .

[48]  Christoph Brzoska,et al.  Temporal Logic Programming and its Relation to Constraint Logic Programming , 1991, ISLP.