{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:44:34Z","timestamp":1725475474878},"publisher-location":"Berlin, Heidelberg","reference-count":49,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665403"},{"type":"electronic","value":"9783540481645"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10704567_18","type":"book-chapter","created":{"date-parts":[[2006,12,28]],"date-time":"2006-12-28T23:27:08Z","timestamp":1167348428000},"page":"294-310","source":"Crossref","is-referenced-by-count":5,"title":["An Operational Semantics of Starlog"],"prefix":"10.1007","author":[{"given":"Lunjin","family":"Lu","sequence":"first","affiliation":[]},{"given":"John G.","family":"Cleary","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","first-page":"4","volume-title":"Proceedings of the 1987 Symposium on Logic Programming","author":"M. Abadi","year":"1987","unstructured":"Abadi, M., Manna, Z.: Temporal logic programming. In: Proceedings of the 1987 Symposium on Logic Programming, pp. 4\u201316. The IEEE Computer Society Press, Los Alamitos (1987)"},{"key":"18_CR2","series-title":"Lecture Notes in Computer Science","first-page":"139","volume-title":"Logic Programming 1985","author":"T. Aoyagi","year":"1986","unstructured":"Aoyagi, T., Fujita, M., Moto-oka, T.: Temporal logic programming language Tokio. In: Wada, E. (ed.) Logic Programming 1985. LNCS, vol.\u00a0221, pp. 139\u2013147. Springer, Heidelberg (1986)"},{"key":"18_CR3","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of Declarative Databases and Logic Programming","author":"K.R. Apt","year":"1988","unstructured":"Apt, K.R., Blair, H., Walker, A.: Towards a theory of declarative knowledge. In: Minker, J. (ed.) Foundations of Declarative Databases and Logic Programming, pp. 89\u2013142. Morgan Kaufmann, San Francisco (1988)"},{"issue":"5","key":"18_CR4","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/BF01211631","volume":"7","author":"H. Barringer","year":"1995","unstructured":"Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R.: METATEM: An introduction. Formal Aspects of Computing\u00a07(5), 533\u2013549 (1995)","journal-title":"Formal Aspects of Computing"},{"key":"18_CR5","first-page":"124","volume-title":"Logic Programming - Proceedings of the 1994 International Symposium","author":"F. Benhamou","year":"1994","unstructured":"Benhamou, F., McAllester, D., Van Hentenryck, P.: CLP (Intervals) revisited. In: Bruynooghe, M. (ed.) Logic Programming - Proceedings of the 1994 International Symposium, pp. 124\u2013138. The MIT Press, Cambridge (1994)"},{"issue":"l","key":"18_CR6","first-page":"24","volume":"32","author":"F. Benhamou","year":"1997","unstructured":"Benhamou, F., Older, W.: Applying Interval Arithmetic to Real, Integer and Boolean Constraints. Journal of Logic Programming\u00a032(l), 24 (1997)","journal-title":"Journal of Logic Programming"},{"key":"18_CR7","first-page":"661","volume-title":"Proceedings of the 1991 International Symposium on Logic Programming","author":"C. Brzoska","year":"1991","unstructured":"Brzoska, C.: Temporal logic programming and its relation to constraint logic programming. In: Proceedings of the 1991 International Symposium on Logic Programming, pp. 661\u2013677. The MIT Press, Cambridge (1991)"},{"issue":"2","key":"18_CR8","first-page":"125","volume":"2","author":"J.G. Cleary","year":"1987","unstructured":"Cleary, J.G.: Logical arithmetic. Future Computing Systems\u00a02(2), 125\u2013149 (1987)","journal-title":"Future Computing Systems"},{"key":"18_CR9","unstructured":"Cleary, J.G.: Colliding pucks solved in a temporal logic. In: Proceedings of 1990 Distributed Simulation Conference (January 1990)"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/79204.79210","volume":"33","author":"A. Colmerauer","year":"1990","unstructured":"Colmerauer, A.: An introduction to Prolog III. Communications of the ACM\u00a033, 69\u201390 (1990)","journal-title":"Communications of the ACM"},{"key":"18_CR11","unstructured":"Diaz, D., Codognet, P.: A minimal extension of the WAM for clp(FD). In: Warren [48], pp. 774\u2013790."},{"key":"18_CR12","unstructured":"Dincbas, M., Van Hentenryck, P., Simonis, H., Aggoun, A., Graf, T., Berthier, F.: The constraint logic programming language CHIP. In: Proceedings Intl. Conf. on Fifth Generation Computer Systems, pp. 693\u2013702. Ohmsha Publishers (1988)"},{"issue":"3&4","key":"18_CR13","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/BF03037172","volume":"9","author":"F. Fages","year":"1991","unstructured":"Fages, F.: A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics. New Generation Computing.\u00a09(3&4), 425\u2013444 (1991)","journal-title":"New Generation Computing."},{"key":"18_CR14","first-page":"197","volume-title":"Temporal Logics and Their Application","author":"D.M. Gabbay","year":"1987","unstructured":"Gabbay, D.M.: Modal and temporal logic programming. In: Galton, A. (ed.) Temporal Logics and Their Application, pp. 197\u2013237. Academic Press, London (1987)"},{"issue":"1","key":"18_CR15","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0743-1066(89)90032-0","volume":"6","author":"A. Gelder Van","year":"1987","unstructured":"Van Gelder, A.: Negation as failure using tight derivations for general logic programs. Journal of Logic Programming\u00a06(1), 109\u2013133 (1987)","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"18_CR16","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K., Schlipf, J.: The well-founded semantics for general logic programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"key":"18_CR17","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski and Bowen, pp. 1070\u20131080."},{"issue":"1","key":"18_CR18","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0304-3975(96)00194-6","volume":"173","author":"S. Grumbach","year":"1997","unstructured":"Grumbach, S., Su, J.: Queries with arithmetical constraints. Journal of Theoretical Computer Science\u00a0173(1), 151\u2013181 (1997)","journal-title":"Journal of Theoretical Computer Science"},{"issue":"2-3","key":"18_CR19","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/0004-3702(92)90020-X","volume":"57","author":"P. Hentenryck Van","year":"1992","unstructured":"Van Hentenryck, P., Deville, Y., Teng, C.-M.: A generic arc-consistency algorithm and its specializations. Artificial Intelligence\u00a057(2-3), 291\u2013321 (1992)","journal-title":"Artificial Intelligence"},{"key":"18_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/3-540-58601-6_92","volume-title":"Principles and Practice of Constraint Programming","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.J., Stuckey, P.J., Yap, R.H.C.: Beyond finite domains. In: Borning, A. (ed.) PPCP 1994. LNCS, vol.\u00a0874, pp. 86\u201394. Springer, Heidelberg (1994)"},{"issue":"20","key":"18_CR21","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.J.: Constraint logic programming: A survey. Journal of Logic Programming\u00a019(20), 503\u2013582 (1994)","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"18_CR22","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"Jaffar, J., Michayov, S., Stuckey, P., Yap, R.: The CLP(7?) language and system. ACM Transactions on Programming Languages and Systems\u00a014(3), 339\u2013395 (1992)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"l","key":"18_CR23","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1006\/jcss.1995.1051","volume":"51","author":"P.O. Kanellakis","year":"1995","unstructured":"Kanellakis, P.O., Kuper, G.M., Revesz, P.Z.: Constraint query languages. Journal of Computer and System Sciences\u00a051(l), 26\u201352 (1995)","journal-title":"Journal of Computer and System Sciences"},{"issue":"1&2","key":"18_CR24","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/0304-3975(94)00153-A","volume":"146","author":"D.B. Kemp","year":"1995","unstructured":"Kemp, D.B., Srivastava, D., Stuckey, P.J.: Bottom-up evaluation and query optimization of well-founded models. Journal of Theoretical Computer Science\u00a0146(1&2), 145\u2013184 (1995)","journal-title":"Journal of Theoretical Computer Science"},{"issue":"1","key":"18_CR25","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1145\/42267.42273","volume":"35","author":"A. Klug","year":"1988","unstructured":"Klug, A.: On conjunctive queries containing inequalities. Journal of the ACM\u00a035(1), 146\u2013160 (1988)","journal-title":"Journal of the ACM"},{"volume-title":"Proceedings of the Fifth International Conference and Symposium on Logic Programming","year":"1988","key":"18_CR26","unstructured":"Kowalski, R.A., Bowen, K.A. (eds.): Proceedings of the Fifth International Conference and Symposium on Logic Programming. MIT Press, Cambridge (1988)"},{"issue":"l","key":"18_CR27","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1137\/0214016","volume":"14","author":"J.C. Lagarias","year":"1985","unstructured":"Lagarias, J.C.: The computational complexity of simultaneous Diophantine approximation problems. SIAM Journal on Computing\u00a014(l), 196\u2013209 (1985)","journal-title":"SIAM Journal on Computing"},{"key":"18_CR28","unstructured":"Liu, M., Cleary, J.G.: Deductive databases: Where to now? In: Proceedings of 1990 Far-East Workshop on Deductive Databases ( April 1990)"},{"key":"18_CR29","unstructured":"Maher, M.: A logic programming view of CLP. Warren, 737\u2013753"},{"key":"18_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/3-540-57186-8_77","volume-title":"Programming Language Implementation and Logic Programming","author":"A. Mantsivoda","year":"1993","unstructured":"Mantsivoda, A.: Flang and its implementation. In: Penjam, J., Bruynooghe, M. (eds.) PLILP 1993. LNCS, vol.\u00a0714, pp. 151\u2013165. Springer, Heidelberg (1993)"},{"issue":"1","key":"18_CR31","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0304-3975(92)90389-W","volume":"97","author":"A. Monfroglio","year":"1992","unstructured":"Monfroglio, A.: Integer programs for logic constraint satisfaction. Journal of Theoretical Computer Science\u00a097(1), 105\u2013130 (1992)","journal-title":"Journal of Theoretical Computer Science"},{"key":"18_CR32","volume-title":"Executing Temporal Logic Programs","author":"B. Moszkowski","year":"1986","unstructured":"Moszkowski, B.: Executing Temporal Logic Programs. Cambridge University Press, Cambridge (1986)"},{"key":"18_CR33","unstructured":"Older, W., Benhamou, F.: Programming in CLP(BNR). In: The Proceedings of the First Workshop on Principles and Practice of Constraint Programming, Newport, RI, USA, pp. 239\u2013249 (1993)"},{"key":"18_CR34","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/BFb0014004","volume-title":"Proceedings of the First International Conference on Temporal Logic","author":"M.A. Orgun","year":"1994","unstructured":"Orgun, M.A., Ma, W.: An overview of temporal and modal logic programming. In: Gabbay, D.M., Ohlbach, H.J. (eds.) Proceedings of the First International Conference on Temporal Logic, pp. 445\u2013479. Springer, Heidelberg (1994)"},{"key":"18_CR35","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/B978-0-934613-40-8.50009-9","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"T.C. Przymusinski","year":"1988","unstructured":"Przymusinski, T.C.: On the declarative semantics of deductive databases and logic programs. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 193\u2013216. Morgan Kaufmann, Los Altos (1988)"},{"key":"18_CR36","unstructured":"Przymusinski, T.C.: Perfect model semantics. Kowalski and Bowen, 1081\u20131096"},{"key":"18_CR37","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/73721.73723","volume-title":"Proceedings of the Eighth Symposium on Principles of Database Systems","author":"T.C. Przymusinski","year":"1989","unstructured":"Przymusinski, T.C.: Every logic program has a natural stratification and an iterated fixed point model. In: Proceedings of the Eighth Symposium on Principles of Database Systems, pp. 11\u201321. ACM SIGACT-SIGMOD, New York (1989)"},{"issue":"2","key":"18_CR38","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BF00243002","volume":"5","author":"T.C. Przymusinski","year":"1989","unstructured":"Przymusinski, T.C.: On the declarative and procedural semantics of logic programs. Journal of Automated Reasoning\u00a05(2), 167\u2013205 (1989)","journal-title":"Journal of Automated Reasoning"},{"issue":"1","key":"18_CR39","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0304-3975(93)90222-F","volume":"116","author":"P.Z. Revesz","year":"1993","unstructured":"Revesz, P.Z.: A closed-form evaluation for Datalog queries with integer (gap)-order constraints. Journal of Theoretical Computer Science\u00a0116(1), 117\u2013149 (1993)","journal-title":"Journal of Theoretical Computer Science"},{"issue":"5","key":"18_CR40","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1093\/logcom\/7.5.555","volume":"7","author":"D. Sacca","year":"1997","unstructured":"Sacca, D., Zaniolo, C.: Deterministic and non-deterministic stable models. Journal of Logic and Computation\u00a07(5), 555\u2013579 (1997)","journal-title":"Journal of Logic and Computation"},{"key":"18_CR41","doi-asserted-by":"crossref","unstructured":"Smith, B., Brailsford, S., Hubbard, P., Williams, H.P.: The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared. In: Proceedings of the first International Conference on Principles and Practice of Constraint Programming, Marseilles (September 1995)","DOI":"10.1007\/3-540-60299-2_3"},{"key":"18_CR42","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/BF01530796","volume":"8","author":"D. Srivastava","year":"1993","unstructured":"Srivastava, D.: Subsumption and indexing in constraint query languages with linear arithmetic constraints. Annals of Mathematics and Artificial Intelligence\u00a08, 315\u2013343 (1993)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"18_CR43","doi-asserted-by":"crossref","first-page":"206","DOI":"10.7551\/mitpress\/4307.003.0018","volume-title":"Proceedings of the second International workshop Logic Programming and Non-Monotonic Reasoning","author":"F. Teusink","year":"1993","unstructured":"Teusink, F.: A characterization of stable models using a non-monotonic operator. In: Pereira, L.M., Nerod, A. (eds.) Proceedings of the second International workshop Logic Programming and Non-Monotonic Reasoning, pp. 206\u2013222. The MIT Press, Cambridge (1993)"},{"key":"18_CR44","first-page":"189","volume-title":"Logic Programming - Proceedings of the 1994 International Symposium","author":"D. Toman","year":"1994","unstructured":"Toman, D., Chomicki, J., Rogers, D.S.: Datalog with integer periodicity constraints. In: Bruynooghe, M. (ed.) Logic Programming - Proceedings of the 1994 International Symposium, pp. 189\u2013203. The MIT Press, Cambridge (1994)"},{"key":"18_CR45","volume-title":"Principles of Database and Knowledge-Base Systems: Volume I","author":"J.D. Ullman","year":"1988","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems: Volume I. Computer Science Press, Rockville (1988)"},{"key":"18_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/3-540-59155-9_15","volume-title":"Constraint Programming: Basics and Trends","author":"P. Hentenryck Van","year":"1995","unstructured":"Van Hentenryck, P., Saraswat, V., Deville, Y.: Design, implementation, and evaluation of the constraint language cc(FD). In: Podelski, A. (ed.) Constraint Programming: Basics and Trends. LNCS, vol.\u00a0910, pp. 293\u2013307. Springer, Heidelberg (1995)"},{"key":"18_CR47","unstructured":"Wadge, W.W.: Tense logic programming: a respectable alternative. In: Proceedings of the 1988 International Symposium on Lucid and Intensional Programming, Sidney, B.C, April 7-8, pp. 26\u201332 (1988)"},{"volume-title":"Proceedings of the Tenth International Conference on Logic Programming","year":"1993","key":"18_CR48","unstructured":"Warren, D.S. (ed.): Proceedings of the Tenth International Conference on Logic Programming. MIT Press, Cambridge (1993)"},{"key":"18_CR49","unstructured":"Xiao, Z., Cleary, J.G., Unger, B.: Time-ordered forward deduction: A bottom-up evaluation strategy for starlog. Technical Report 98\/625\/16, Department of Computer Science, University of Calgary (1998)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10704567_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,9]],"date-time":"2024-02-09T17:04:30Z","timestamp":1707498270000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10704567_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665403","9783540481645"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/10704567_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}