{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:33:09Z","timestamp":1750307589725,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,6,18]],"date-time":"2009-06-18T00:00:00Z","timestamp":1245283200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,6,18]]},"DOI":"10.1145\/1731740.1731765","type":"proceedings-article","created":{"date-parts":[[2010,3,2]],"date-time":"2010-03-02T19:20:59Z","timestamp":1267557659000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Spider vs. Prolog"],"prefix":"10.1145","author":[{"given":"Tzanko","family":"Golemanov","sequence":"first","affiliation":[]},{"given":"Kostadin","family":"Kratchanov","sequence":"additional","affiliation":[]},{"given":"Emilia","family":"Golemanova","sequence":"additional","affiliation":[]}],"member":"320","published-online":{"date-parts":[[2009,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1142\/1898"},{"volume-title":"Addison-Wesley","year":"2001","author":"Bratko I.","key":"e_1_3_2_1_2_1"},{"volume-title":"Springer","year":"2003","author":"Clocksin W.","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","unstructured":"Covington M. etal Prolog Programming in Depth Prentice Hall 1997.   Covington M. et al. Prolog Programming in Depth Prentice Hall 1997."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/51594.51597"},{"key":"e_1_3_2_1_6_1","unstructured":"Fikes R. Lehnert W. Nondeterministic Lisp as a Substrate for Constraint Logic Programming. 1993 http:\/\/www.citeulike.org\/user\/hamish\/article\/1431431  Fikes R. Lehnert W. Nondeterministic Lisp as a Substrate for Constraint Logic Programming. 1993 http:\/\/www.citeulike.org\/user\/hamish\/article\/1431431"},{"key":"e_1_3_2_1_7_1","unstructured":"Gardner J. Nondeterministic Programming. http:\/\/jonathangardner.net\/tech\/w\/Nondeterministic_Programming  Gardner J. Nondeterministic Programming. http:\/\/jonathangardner.net\/tech\/w\/Nondeterministic_Programming"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/365143.365333"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/365143.365333"},{"volume-title":"Prolog: Computation Control. This conference.","author":"Golemanova E.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2006.09.001"},{"key":"e_1_3_2_1_12_1","unstructured":"Hails B. Exploring Programming Language Architecture in Perl. http:\/\/www.billhails.net\/Book\/index.html  Hails B. Exploring Programming Language Architecture in Perl. http:\/\/www.billhails.net\/Book\/index.html"},{"key":"e_1_3_2_1_13_1","unstructured":"http:\/\/www.answers.com\/topic\/prolog as of 27 Apr 2009  http:\/\/www.answers.com\/topic\/prolog as of 27 Apr 2009"},{"key":"e_1_3_2_1_14_1","unstructured":"Kahl W. HOPS. The Higher Object Programming System. http:\/\/www.cas.mcmaster.ca\/~kahl\/HOPS\/  Kahl W. HOPS. The Higher Object Programming System. http:\/\/www.cas.mcmaster.ca\/~kahl\/HOPS\/"},{"key":"e_1_3_2_1_15_1","unstructured":"Kratchanov K. Computations Problem Solving and Rule-Based Systems CSTR33\/85. Dpt. Computer Science Brunel Univ. Uxbridge UK 1985.  Kratchanov K. Computations Problem Solving and Rule-Based Systems CSTR33\/85. Dpt. Computer Science Brunel Univ. Uxbridge UK 1985."},{"volume-title":"Proc. 6th EEE\/ACIS Conf. on Computer and Information Science (ICIS 2007)","year":"2007","author":"Kratchanov K.","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIS.2008.71"},{"volume-title":"Proc. 8th WSEAS Int. Conf. on Artificial Intelligence, Knowledge Engineering and Data Bases (AIKED 2009)","year":"2009","author":"Kratchanov K.","key":"e_1_3_2_1_18_1"},{"volume-title":"Proc. 8th WSEAS Int. Conf. on Artificial Intelligence, Knowledge Engineering and Data Bases (AIKED 2009)","year":"2009","author":"Kratchanov K.","key":"e_1_3_2_1_19_1"},{"volume-title":"Addison-Wesley","year":"1994","author":"Moss C.","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","unstructured":"Nilsson U. Maluszynsky J. Logic Programming and Prolog 2nd ed. John Wiley 1995.   Nilsson U. Maluszynsky J. Logic Programming and Prolog 2 nd ed. John Wiley 1995."},{"key":"e_1_3_2_1_22_1","unstructured":"Nondeterminism in Haskell. http:\/\/yacpb.blogspot.com\/2009\/02\/nondeterminism-in-haskell.html  Nondeterminism in Haskell. http:\/\/yacpb.blogspot.com\/2009\/02\/nondeterminism-in-haskell.html"},{"key":"e_1_3_2_1_23_1","unstructured":"Prolog -- Exemple. http:\/\/marinvlada.googlepages.com\/Probleme_prolog.pdf  Prolog -- Exemple. http:\/\/marinvlada.googlepages.com\/Probleme_prolog.pdf"},{"volume-title":"Prentice-Hall","year":"2006","author":"Russell S.","key":"e_1_3_2_1_24_1"},{"volume-title":"Morgan Kaufman","year":"2009","author":"Scott M.","key":"e_1_3_2_1_25_1"},{"volume-title":"Addison Wesley","year":"2009","author":"Sebesta R.","key":"e_1_3_2_1_26_1"},{"key":"e_1_3_2_1_27_1","unstructured":"The Common Lisp Directory. Screamer. 2006 http:\/\/www.cluser.net\/asp\/qz2O2\/sdataQIUAnGnSCHE7DQ3jQRpX8yBX8yBXnMq=\/sdataQu3F$sSHnB==  The Common Lisp Directory. Screamer. 2006 http:\/\/www.cluser.net\/asp\/qz2O2\/sdataQIUAnGnSCHE7DQ3jQRpX8yBX8yBXnMq=\/sdataQu3F$sSHnB=="},{"key":"e_1_3_2_1_28_1","unstructured":"Variations on a Scheme--Nondeterministic Computing. http:\/\/mitpress.mit.edu\/sicp\/full-text\/sicp\/book\/node88.html  Variations on a Scheme--Nondeterministic Computing. http:\/\/mitpress.mit.edu\/sicp\/full-text\/sicp\/book\/node88.html"}],"event":{"name":"CompSysTech '09: Proceedings of the 10th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing","acronym":"CompSysTech '09","location":"Ruse Bulgaria"},"container-title":["Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1731740.1731765","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1731740.1731765","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:41:28Z","timestamp":1750250488000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1731740.1731765"}},"subtitle":["simulating Prolog in Spider"],"short-title":[],"issued":{"date-parts":[[2009,6,18]]},"references-count":28,"alternative-id":["10.1145\/1731740.1731765","10.1145\/1731740"],"URL":"https:\/\/doi.org\/10.1145\/1731740.1731765","relation":{},"subject":[],"published":{"date-parts":[[2009,6,18]]},"assertion":[{"value":"2009-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}