{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T04:40:04Z","timestamp":1752381604043,"version":"3.41.2"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1999,12,1]],"date-time":"1999-12-01T00:00:00Z","timestamp":944006400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,12,1]],"date-time":"1999-12-01T00:00:00Z","timestamp":944006400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[1999,12]]},"DOI":"10.1023\/a:1009816922431","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T18:53:29Z","timestamp":1040583209000},"page":"313-335","source":"Crossref","is-referenced-by-count":3,"title":["From Prolog III to Prolog IV: The Logic of Constraint Programming Revisited"],"prefix":"10.1007","volume":"4","author":[{"given":"Guy A.","family":"Narboni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"12","key":"241316_CR1","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0895-7177(94)90127-9","volume":"20","author":"N. Beldiceanu","year":"1994","unstructured":"N. Beldiceanu and E. Contejean (1994). Introducing global constraints in CHIP. Mathl. Comput. Modelling 20(12): 97\u2013123.","journal-title":"Mathl. Comput. Modelling"},{"unstructured":"F. Benhamou and Toura\u00efvane (1995). Prolog IV: langage et algorithmes. In Proc. of JFPL 95, Dijon.","key":"241316_CR2"},{"unstructured":"H. Beringer and B. De Backer (1995). Combinatorial problem solving in constraint logic programming with cooperating solvers. In C. Beierle and L. Pl\u00fcmer, editors, Logic Programming: Formal Methods and Practical Applications, pages 245\u2013272. Elsevier.","key":"241316_CR3"},{"unstructured":"C. Bisi\u00e9re (1995). SD-solver: towards a \"multidirectional\" CLP-based simulation tool. Computation Economics.","key":"241316_CR4"},{"doi-asserted-by":"crossref","unstructured":"N. Bleuzen Guernalec and A. Colmerauer (1997). Narrowing a 2n-block of sortings in O(n log n). In Proc.of CP'97. Schloss Hagenberg.","key":"241316_CR5","DOI":"10.1007\/BFb0017426"},{"issue":"2","key":"241316_CR6","first-page":"125","volume":"2","author":"J. G. Cleary","year":"1987","unstructured":"J. G. Cleary (1987). Logical arithmetic. Future Generation Computing Systems 2(2): 125\u2013149.","journal-title":"Future Generation Computing Systems"},{"issue":"12","key":"241316_CR7","doi-asserted-by":"crossref","first-page":"1296","DOI":"10.1145\/214956.214958","volume":"28","author":"A. Colmerauer","year":"1985","unstructured":"A. Colmerauer (1985). Prolog in 10 figures. Communications of the ACM 28(12): 1296\u20131310.","journal-title":"Communications of the ACM"},{"issue":"7","key":"241316_CR8","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/79204.79210","volume":"33","author":"A. Colmerauer","year":"1990","unstructured":"A. Colmerauer (1990). An introduction to Prolog III. Communications of the ACM 33(7): 69\u201390.","journal-title":"Communications of the ACM"},{"unstructured":"A. Colmerauer (1993). Naive solving of non-linear constraints. In F. Benhamou and A. Colmerauer, editors, Constraint Logic Programming: Selected Research, pages 89\u2013112. The MIP Press.","key":"241316_CR9"},{"unstructured":"A. Colmerauer (1996). Les bases de Prolog IV. In Le Manuel de Prolog IV, PrologIA.","key":"241316_CR10"},{"unstructured":"J.-Y. Cras (1993). A review of industrial constraint solving tools. AI Intelligence.","key":"241316_CR11"},{"unstructured":"M. Dincbas, et al. (1988). The constraint logic programming language CHIP. In Proc. of FGCS'88, Tokyo.","key":"241316_CR12"},{"unstructured":"P.-J. Gailly, et al. (1992). The Prince project and its applications. In G. Comyn, N. E. Fuchs, and M. J. Ratcliffe, editors, Logic Programming in Action, Proc. of LPSS'92, LNCS 636, pages 54\u201363. Springer Verlag.","key":"241316_CR13"},{"unstructured":"IEEE (1985). IEEE standard for binary floating-point arithmetic. Technical Report 754, ANSI.","key":"241316_CR14"},{"doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.-L. Lassez (1987). Constraint logic programming. In Proc. of ACM Symposium on the Principles of Programming Languages, pages 111\u2013119, Munich.","key":"241316_CR15","DOI":"10.1145\/41625.41635"},{"key":"241316_CR16","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\u201320","author":"J. Jaffar","year":"1994","unstructured":"J. Jaffar and M. Maher (1994). Constraint logic programming: A survey. Jounal of Logic Programming 19\u201320: 503\u2013581.","journal-title":"Jounal of Logic Programming"},{"key":"241316_CR17","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1145\/359131.359136","volume":"22","author":"R. A. Kowalski","year":"1979","unstructured":"R. A. Kowalski (1979). Algorithm D Logic C Control. Communications of the ACM 22: 424\u2013431.","journal-title":"Communications of the ACM"},{"key":"241316_CR18","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0004-3702(78)90029-2","volume":"10","author":"J.-L. Lauri\u00e9re","year":"1978","unstructured":"J.-L. Lauri\u00e9re (1978). A language and a program for stating and solving combinatorial problems. Artificial Intelligence 10: 29\u2013127.","journal-title":"Artificial Intelligence"},{"unstructured":"M.-A. Manier, C. Varnier and P. Baptiste (1994). A multi-hoist scheduling problem approach. In Proc. of the 4th Int. Workshop on Project Management and Scheduling, pages 110\u2013115, Leuven.","key":"241316_CR19"},{"unstructured":"K. McAloon and C. Tretkoff (1996). Optimization and Computational Logic. Wiley-Interscience.","key":"241316_CR20"},{"unstructured":"G. A. Narboni (1992). About Gaussian elimination and infinite precision. 2nd Int. Workshop on Constraint Logic Programming, Marseille.","key":"241316_CR21"},{"doi-asserted-by":"crossref","unstructured":"S. N'Dong and M. Van Caneghem (1996). Global behaviour of complex constraints. In Proc. of CP'96, Boston.","key":"241316_CR22","DOI":"10.1007\/3-540-61551-2_112"},{"doi-asserted-by":"crossref","unstructured":"G. L. Nemhauser and L. A. Wolsey (1988). Integer and Combinatorial Optimization. Wiley-Interscience.","key":"241316_CR23","DOI":"10.1002\/9781118627372"},{"unstructured":"W. Older and A. Vellino (1993). Constraint arithmetic on real intervals. In F. Benhamou and A. Colmerauer, editors, Constraint Logic Programming: Selected Research, pages 175\u2013195. The MIP Press.","key":"241316_CR24"},{"key":"241316_CR25","series-title":"Technical report","volume-title":"Estimating Gyro Errors by Solving an Ordinary Differential Equation Boundary Value Problem","author":"R. Skuppin","year":"1994","unstructured":"R. Skuppin and T. B\u00fcckle (1994). Estimating Gyro Errors by Solving an Ordinary Differential Equation Boundary Value Problem. Technical report F3-94-036, Daimler-Benz Research Center, Ulm."},{"unstructured":"P. Van Hentenryck (1989). Constraint Satisfaction in Logic Programming. The MIP Press.","key":"241316_CR26"},{"doi-asserted-by":"crossref","unstructured":"P. Van Hentenryck, L. Michel, and Y. Deville (1997). Numerica, a Modeling Language for Global Optimization.The MIT Press.","key":"241316_CR27","DOI":"10.7551\/mitpress\/5073.001.0001"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009816922431.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1009816922431\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009816922431.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T04:10:29Z","timestamp":1752379829000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1009816922431"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,12]]},"references-count":27,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1999,12]]}},"alternative-id":["241316"],"URL":"https:\/\/doi.org\/10.1023\/a:1009816922431","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"type":"print","value":"1383-7133"},{"type":"electronic","value":"1572-9354"}],"subject":[],"published":{"date-parts":[[1999,12]]}}}