@manual{QUINTUS:manual, key = "Quintus", title = "{Quintus} {Prolog}, User Guide and Reference Manual", organization = "AI International ltd.", address = "Berkhamsted, UK", year = 1997, note = "" } @manual{SWI-Prolog:manual, author = "J. Wielemaker", title = "{SWI-Prolog 5.6}: Reference Manual", organization = "{SWI}, University of Amsterdam", address = "Kruislaan 419, 1098 VA Amsterdam, The Netherlands", year = "1997-2008", url = "http://www.swi-prolog.org/documentation.html", note = "E-mail: jan@swi-prolog.org" } @manual{SWI-HTTP:manual, author = "J. Wielemaker", title = "{SWI-Prolog HTTP} support", organization = "{HCS}, University of Amsterdam", address = "Kruislaan 419, 1098 VA Amsterdam, The Netherlands", year = "2007", url = "http://www.swi-prolog.org/packages/http.html", note = "http://www.swi-prolog.org/packages/http.html" } @manual{SICStus:manual, author = "M. Carlsson and J. Wid{\'e}n and J. Andersson and S. Anderson and K. Boortz and H. Nilson and T. Sj{\"o}land", title = "{SICStus Prolog (v3)} Users's Manual", organization = "SICS", address = "PO Box 1263, S-164 28 Kista, Sweden", year = "1995", } @manual{BIMPROLOG:manual, key = "BIM", title = "{BIM Prolog} release 2.4", organization = "BIM sa/nv", address = "Everberg, Belgium", year = 1989, note = "" } @manual{ CPROLOG:manual, author = "F. Pereira", title = "{C-Prolog} User's Manual", organization = "EdCaad, University of Edinburgh", year = 1986, note = "" } @Book{Kernighan:78, author = "B. W. Kernighan and D. M. Ritchie", title = "The {C} Programming Language", publisher = "Prentice-Hall", year = 1978, address = "Englewood Cliffs, New Jersey", } @TechReport{Warren:83b, author = "D. H. D. Warren", title = "The runtime environment for a {Prolog} compiler using a copy algorithm", institution = "SUNY and Stone Brook, New York", year = 1983, number = "83/052", note = "Major revision March 1984", } @manual{XPCE:online, author = "J. Wielemaker", title = "{XPCE-5} online manual", organization = "{HCS}, University of Amsterdam", address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands", year = "1992", note = "Software started by ``manpce'' in XPCE/Prolog." } @manual{XPCE:reference, author = "J. Wielemaker and A. Anjewierden", title = "{XPCE-6} Reference Manual", organization = "{SWI}, University of Amsterdam", address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands", year = "1993-2003", note = "Paper version of online manual." } @manual{XPCE:prolog, author = "J. Wielemaker and A. Anjewierden", title = "Programming in {XPCE/Prolog}", organization = "{SWI}, University of Amsterdam", address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands", year = "1992", note = "E-mail: jan@swi.psy.uva.nl" } @manual{XPCE:lisp, author = "A. Anjewierden", title = "{XPCE/Lisp}: {XPCE Common Lisp} Interface", organization = "{SWI}, University of Amsterdam", address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands", year = "1992", note = "E-mail: anjo@swi.psy.uva.nl" } @manual{XPCE:cpp, author = "J. Wielemaker and A. Anjewierden", title = "A {C++} interface for {XPCE}", organization = "{SWI}, University of Amsterdam", address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands", year = "1994", note = "E-mail: jan@swi.psy.uva.nl" } @manual{XPCE:course, author = "J. Wielemaker", title = "{XPCE/Prolog} Course Notes", organization = "{SWI}, University of Amsterdam", address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands", year = "1994", note = "E-mail: jan@swi.psy.uva.nl" } @manual{XPCE:draw, author = "J. Wielemaker", title = "{PceDraw}: An example of using {XPCE-4}", organization = "{SWI}, University of Amsterdam", address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands", year = "1992", note = "E-mail: jan@swi.psy.uva.nl" } @inproceedings{Anjewierden:90b, author = "A. Anjewierden and J. Wielemaker and C. Toussaint", title = "Shelley --- Computer Aided Knowledge Engineering", booktitle = "{Current trends in knowledge acquisition}", year = 1990, editor = "B. Wielinga and J. Boose and B. Gaines and G. Schreiber and M. van Someren", pages = "41 - 59", publisher = "IOS Press", address = "Amsterdam", month = "May"} @InProceedings{Wielemaker:89, author = "J. Wielemaker and A. Anjewierden", title = "{Separating User Interface and Functionality Using a Frame Based Data Model}", year = "1989", pages = "25--33", month = nov, publisher = "ACM Press", booktitle = "Proceedings Second Annual Symposium on User Interface Software and Technology", address = "Williamsburg, Virginia", } @article{carlson:88, author = "Karen Appleby and Mats Carlsson and Seif Haridi and Dan Sahlin", title = "Garbage Collection for {Prolog} Based on {WAM}", year = "1988", volume = "31", number = "6", pages = "719--741", publisher = "ACM Press", journal = "Communications of the ACM" } @article{byrd:80, author = "L. Byrd", title = "Understanding the control flow of {Prolog} programs", year = "1980", journal = "Logic Programming Workshop", address = "Debrecen, Hungary" } @article{chambers:89, journal = "Sigplan Notices", author = "Craig Chambers and David Ungar and Elgin Lee", title = "An efficient implementation of {SELF}, a dynamic-typed object-oriented language based on prototypes", year = "1989", volume = "24", number = "10", month = "Oct", pages = "49-70"} @book{Goldberg:83a, author = "A. Goldberg and D. Robson", title = "{Smalltalk--80: The Language and its Implementation}", publisher = "Addison-Wesley", year = 1983} @book{Keefe:90, author = "R. A. O'Keefe", title = "The Craft of {Prolog}", publisher = "MIT Press", year = "1990", address = "Massachussetts", } @InProceedings{Bowen:83, author = "D. L. Bowen and L. M. Byrd and WF. Clocksin", title = "A portable {Prolog} compiler", booktitle = "Proceedings of the Logic Programming Workshop 1983", editor = "L. M. Pereira", publisher = "Universidade nova de Lisboa", address = "Lisabon, Portugal", year = 1983, url = "https://www.researchgate.net/publication/273888197_A_portable_Prolog_compiler" } @techreport{P1098:C1.6, author = "A. Anjewierden and J. Wielemaker", title = "Extensible Objects", institution = "University of Amsterdam", year = 1989, month = "March", type = "ESPRIT Project 1098 Technical Report", number = "UvA-C1-TR-006a", address = "", note = "" } @techreport{Neumerkel:93, author = "Ulrich Neumerkel", title = "The binary {WAM}, a simplified {Prolog} engine", institution = "{Technische Universit\"at Wien}", year = 1993, address = "", note = "http://www.complang.tuwien.ac.at/ulrich/papers/PDF/binwam-nov93.pdf" } @InProceedings{Neumerkel:90, author = "Ulrich Neumerkel", title = "Extensible Unification by Metastructures", year = "1990", month = "April", booktitle = "Proceedings of {META90}, {W}orkshop on Meta-Programming in Logic", editor = "Maurice Bruynooghe", address = "Leuven, Belgium" } @inproceedings{DBLP:conf/plilp/Huitouze90, author = {Serge Le Huitouze}, title = {A New Data Structure for Implementing Extensions to {Prolog}}, booktitle = {{PLILP}}, year = {1990}, pages = {136-150}, bibsource = {DBLP, http://dblp.uni-trier.de}, volume = {456}, note = {LNCS 456}, publisher = {Springer-Verlag}, location = {Link{\"o}ping, Sweden} } @Book{Bratko:86, author = "I. Bratko", title = "{Prolog} Programming for Artificial Intelligence", publisher = "Addison-Wesley", year = 1986, address = "Reading, Massachusetts", } @Book{Clocksin:87, author = "W. F. Clocksin and C. S. Melish", title = "Programming in {Prolog}", publisher = "Springer-Verlag", year = 1987, address = "New York", edition = "{T}hird, {R}evised and {E}xtended", } @Book{Sterling:86, author = "L. Sterling and E. Shapiro", title = "The Art of {Prolog}", publisher = "MIT Press", year = 1986, address = "Cambridge, Massachusetts", } @Book{Deransart:96, author = "P. Deransart and A. Ed-Dbali and L. Cervoni", title = "{Prolog}: The Standard", publisher = "Springer-Verlag", year = 1996, address = "New York" } @Misc{stdprolog:98, author = "Jonathan Hodgson", title = "Validation suite for conformance with Part 1 of the standard", year = 1998, url = "http://www.sju.edu/~jhodgson/pub/suite.tar.gz" } @Book{Butenhof:1997:PPT, author = "David R. Butenhof", title = "Programming with {POSIX} threads", publisher = "Ad{\-d}i{\-s}on-Wes{\-l}ey", address = "Reading, MA, USA", pages = "xviii + 381", year = "1997", ISBN = "0-201-63392-2", LCCN = "QA76.76.T55B88 1997", bibdate = "Mon Sep 01 08:53:12 1997", price = "US\$31.95", url = "http://www.amazon.com/exec/obidos/ASIN/0201633922/ref=sim_books/002-4892305-5599452", acknowledgement = ack-nhfb, } @inproceedings{graham82gprof, author = "Susan L. Graham and Peter B. Kessler and Marshall K. McKusick", title = "gprof: a Call Graph Execution Profiler", booktitle = "{SIGPLAN} Symposium on Compiler Construction", pages = "120-126", year = "1982", url = "citeseer.nj.nec.com/graham82gprof.html" } @inproceedings{sicstusmt98, author = {Jesper Eskilson and Mats Carlsson}, title = "{SICStus MT}---A Multithreaded Execution Environment for {SICStus Prolog}", booktitle = "Programming Languages: {I}mplementations, Logics, and Programs", editor = "C. Palamidessi and H. Glaser and K. Meinke", series = "Lecture Notes in Computer Science", volume = "1490", publisher = "Springer-Verlag", pages = "36--53", year = 1998 } @Article{Herlihy:1993:MIH, author = "Maurice Herlihy", title = "A Methodology for Implementing Highly Concurrent Data Objects", journal = "ACM Transactions on Programming Languages and Systems", volume = "15", number = "5", pages = "745--770", month = nov, year = "1993", coden = "ATPSDT", ISSN = "0164-0925", bibdate = "Fri Jan 5 07:58:42 MST 1996", url = "http://www.acm.org/pubs/toc/Abstracts/0164-0925/161469.html" } @InProceedings{DAI98*137, author = "Keith Clark and Peter J. Robinson and Richard Hagen", title = "Programming Internet Based {DAI} Applications in {Qu-Prolog}", pages = "137--151", ISBN = "3-540-65477-1", editor = "Chengqi Zhang and Dickson Lukose", booktitle = "Proceedings of the 4th {A}ustralian Workshop on Distributed Artificial Intelligence on Multi-Agent Systems : {T}heories, Languages, and Applications ({DAI}-98)", month = jul # "~13--13", series = "LNAI", volume = "1544", publisher = "Springer", address = "Berlin", year = "1998", } @inproceedings{ carro99concurrency, author = "Manuel Carro and Manuel V. Hermenegildo", title = "Concurrency in {Prolog} Using Threads and a Shared Database", booktitle = "International Conference on Logic Programming", pages = "320-334", year = "1999" } @Article{Carriero:1989:LC, author = "Nicholas Carriero and David Gelernter", title = "{Linda} in context", journal = "Communications of the ACM", volume = "32", number = "4", pages = "444--458", month = apr, year = "1989", coden = "CACMA2", ISSN = "0001-0782", bibdate = "Thu May 30 09:41:10 MDT 1996", url = "http://www.acm.org/pubs/toc/Abstracts/0001-0782/63337.html", abstract = "How can a system that differs sharply from all currently fashionable approaches score any kind of success? Here's how.", acknowledgement = ack-nhfb, keywords = "languages; performance", review = "ACM CR 9005-0390", subject = "{\bf D.3.2}: Software, PROGRAMMING LANGUAGES, Language Classifications, Linda. {\bf D.1.3}: Software, PROGRAMMING TECHNIQUES, Concurrent Programming. {\bf D.3.3}: Software, PROGRAMMING LANGUAGES, Language Constructs and Features.", } @Book{Conl89a, author = "T. Conlon", title = "Programming in {Parlog}", publisher = "Addison-Wesley", year = "1989", keywords = "prolog", } @article{bagnara:02a, journal = "ALP newsletter", author = "Roberto Bagnara and Manuel Carro", title = "Foreign Language Interfaces for {Prolog}: A Terse Survey", year = "2002", month = "May" } @InProceedings{Bosschere:ICLP93, author = "Koen de Bosschere and Jean-Marie Jacquet", title = "Multi-{Prolog}: Definition, Operational Semantics and Implementation", pages = "299--313", remark = "Parallel Implementations 2", booktitle = "Proceedings of the Tenth International Conference on Logic Programming", year = "1993", editor = "David S. Warren", publisher = "The MIT Press", address = "Budapest, Hungary", ISBN = "0-262-73105-3", } @inproceedings{Wielemaker:02a, author = "Jan Wielemaker and Anjo Anjewierden ", title = "An Architecture for Making Object-Oriented Systems Available from {Prolog}", booktitle = "Computer Science, abstract", year = 2002, editor = "Alexandre Tessier", note = "http://lanl.arxiv.org/abs/cs.SE/0207053"} @InProceedings{BYRD80A, key = "Byrd", author = "Lawrence Byrd", title = "Understanding the control flow of {Prolog} programs", booktitle = "Proceedings of the Logic Programming Workshop", editor = "S.-A. Tarnlund", year = "1980", pages = "127--138", keywords = "Debugging; control flow; box model", bibdate = "Tue Jul 5 15:27:23 1983", } @Book{PereiraShieber87, author = "Fernando C. N. Pereira and Stuart M. Shieber", title = "{Prolog} and Natural-Language Analysis", publisher = "Center for the Study of Language and Information", note = "Distributed by Chicago University Press", address = "Stanford, California", year = "1987", series = "Number 10 in CSLI Lecture Notes", } @techreport{Demoen:CW350, author = "Bart Demoen", title = {{D}ynamic attributes, their h{P}rolog implementation, and a first evaluation}, institution = {Department of Computer Science, K.U.Leuven}, year = {2002}, type = {Report CW}, number = {350}, address = {Leuven, Belgium}, month = {oct}, note = {URL = http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW350.abs.html}, } @techreport{holzbaur:1990, author = "Christian Holzbaur", title = {Realization of forward checking in logic programming through extended unification}, institution = {Oesterreichisches Forschungsinstitut fuer Artificial Intelligence}, year = {1990}, type = {Report}, number = {TR-90-11}, address = {Wien, Austria}, } @book{Freuhwirth:2009, author = {T. Fr\"uhwirth}, title = {{Constraint Handling Rules}}, publisher = {Cambridge University Press}, year = {2009} } @misc{chrSite, author = {T. Fr\"uhwirth}, title = "{Thom Fruehwirth's} constraint handling rules website", note = "http://www.constraint-handling-rules.org" } @InProceedings{Wielemaker:03a, author = "Jan Wielemaker and Guus Schreiber and Bob Wielinga", title = "{Prolog}-based infrastructure for {RDF}: performance and scalability", booktitle = "The Semantic Web - Proceedings {ISWC}'03, Sanibel Island, Florida", pages = "644-658", publisher = "Springer Verlag", editor = "D. Fensel and K. Sycara and J. Mylopoulos", address = "Berlin, Germany", year = "2003", month = "october", note = "LNCS 2870" } @InProceedings{Wielemaker:03b, author = "Jan Wielemaker", title = "An overview of the {SWI-Prolog} Programming Environment", booktitle = "Proceedings of the 13th International Workshop on Logic Programming Environments", pages = "1-16", editor = "Fred Mesnard and Alexander Serebenik", publisher = "Katholieke Universiteit Leuven", address = "Heverlee, Belgium", year = "2003", month = "december", note = "CW 371" } @InProceedings{Wielemaker:03c, author = "Jan Wielemaker", title = "Native Preemptive Threads in {SWI-Prolog}", booktitle = "Practical Aspects of Declarative Languages", editor = "Catuscia Palamidessi", pages = "331-345", publisher = "Springer Verlag", address = "Berlin, Germany", year = "2003", month = "december", note = "LNCS 2916" } @InProceedings{ILP03-Struyf, author = "J. Struyf and H. Blockeel", title = "Query Optimization in Inductive Logic Programming by Reordering Literals", booktitle = "Proceedings of the 13th International Conference on Inductive Logic Programming", series = "Lecture Notes in Artificial Intelligence", volume = "2835", editor = "T.~Horv\'{a}th and A.~Yamamoto", publisher = "Springer-Verlag", year = "2003", ISBN = "3-540-20144-0", pages = "329--346", } @article{gooley:89, author = {Markian M. Gooley and Benjamin B. Wah}, year = {1989}, title = {Efficient reordering of Prolog programs}, volume = {1}, number = {4}, pages = {470-482}, journal = {IEEE Transactions on Knowledge and Data Engineering}, doi = {10.1109/69.43422}, url = {https://www.researchgate.net/publication/3496571_Efficient_Reordering_of_Prolog_Programs} } @inproceedings{escalante:cascon93, author = {Carlos Escalante}, title = {A simple model of prolog's performance: extensional predicates}, booktitle = {{CASCON} '93: Proceedings of the 1993 conference of the {C}entre for {A}dvanced {S}tudies on {C}ollaborative {R}esearch}, year = {1993}, pages = {1119--1132}, location = {Toronto, Ontario, Canada}, publisher = {IBM Press}, } @inproceedings{oai:CiteSeerPSU:36493, title = "{XSB}: {A} System for Efficiently Computing Well-Founded Semantics", booktitle = "Proceedings of {LPNMR} 97", author = "Juliana Freire and David S. Warren and Konstantinos Sagonas and Prasad Rao and Terrance Swift", pages= "430--440", year = "1997", month = "January", publisher = "Springer Verlag", address = "Berlin, Germany", note = "LNCS 1265", isbn = {978-3-540-63255-9}, doi = {10.1007/3-540-63255-7_33}, url = {https://www.researchgate.net/publication/2279922_XSB_-_A_System_for_Efficiently_Computing_Well_Founded_Semantics} } pages = {}, title = {XSB - A System for Efficiently Computing Well Founded Semantics}, isbn = {978-3-540-63255-9}, journal = {Proceedings of LPNMR'97}, doi = {10.1007/3-540-63255-7_33} } @inproceedings{Schrijvers:chr04, title = "The {K.U. Leuven CHR} system: implementation and application", booktitle = "First Workshop on Constraint Handling Rules: {S}elected Contributions", author = "Tom Schrijvers and Bart Demoen", editor = "Thom {Fr\"uhwirth} and Marc Meister", pages= "430--440", year = "2004", note = "ISSN 0939-5091" } @article{349132, author = {Lawrence Philips}, title = {The double Metaphone search algorithm}, journal = {C/C++ Users J.}, volume = {18}, number = {6}, year = {2000}, issn = {1075-2838}, pages = {38--43}, publisher = {CMP Media, Inc.}, address = {, USA}, } @article{602298, author = {Matthias Jarke and Jim Clifford and Yannis Vassiliou}, title = {An optimizing {Prolog} front-end to a relational query system}, journal = {SIGMOD Rec.}, volume = {14}, number = {2}, year = {1984}, issn = {0163-5808}, pages = {296--306}, doi = {http://doi.acm.org/10.1145/971697.602298}, publisher = {ACM Press}, address = {New York, NY, USA}, } @inproceedings{DBLP:conf/cl/Hermenegildo00, author = {Manuel V. Hermenegildo}, title = {A Documentation Generator for {(C)LP} Systems.}, booktitle = {Computational Logic}, year = {2000}, pages = {1345-1361}, ee = {http://link.springer.de/link/service/series/0558/bibs/1861/18611345.htm}, crossref = {DBLP:conf/cl/2000}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/cl/2000, editor = {John W. Lloyd and Ver{\'o}nica Dahl and Ulrich Furbach and Manfred Kerber and Kung-Kiu Lau and Catuscia Palamidessi and Lu\'{\i}s Moniz Pereira and Yehoshua Sagiv and Peter J. Stuckey}, title = {Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings}, booktitle = {{CL}}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {1861}, year = {2000}, isbn = {3-540-67797-6}, bibsource = {DBLP, http://dblp.uni-trier.de} } @article{DBLP:journals/ai/MycroftO84, author = {Alan Mycroft and Richard A. O'Keefe}, title = {A Polymorphic Type System for {Prolog}.}, journal = {Artif. Intell.}, volume = {23}, number = {3}, year = {1984}, pages = {295-307}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{DBLP:conf/acsc/JefferyHS00, author = {David Jeffery and Fergus Henderson and Zoltan Somogyi}, title = {Type Classes in {Mercury}.}, booktitle = {{ACSC}}, year = {2000}, pages = {128-135}, ee = {http://doi.ieeecomputersociety.org/10.1109/ACSC.2000.824391}, crossref = {DBLP:conf/acsc/2000}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/acsc/2000, title = {23rd Australasian Computer Science Conference (ACSC 2000), 31 January - 3 February 2000, Canberra, Australia}, booktitle = {{ACSC}}, publisher = {IEEE Computer Society}, year = {2000}, isbn = {0-7695-0518-X}, bibsource = {DBLP, http://dblp.uni-trier.de} } @phdthesis{pmoura03, author = "Paulo Moura", title = "{Logtalk - Design of an Object-Oriented Logic Programming Language}", school = "Department of Informatics, University of Beira Interior, Portugal", month = sep, year = 2003, howpublished = "\url{http://logtalk.org/papers/thesis.pdf}" } @inproceedings{pldoc2006, author = "Jan Wielemaker and Anjo Anjewierden", title = "{PlDoc}: {Wiki} style literate Programming for {Prolog}", Booktitle = "Proceedings of the 17th Workshop on Logic-Based methods in Programming Environments", year = "2007", pages = "16--30", location = "Porto, Portugal", editor = "Patricia Hill and Wim Vanhoof", url = "http://hcs.science.uva.nl/projects/SWI-Prolog/articles/pldoc.pdf" } @article{479, author = {Donald E. Knuth}, title = {Literate programming}, journal = {Comput. J.}, volume = {27}, number = {2}, year = {1984}, issn = {0010-4620}, pages = {97--111}, doi = {http://dx.doi.org/10.1093/comjnl/27.2.97}, publisher = {Oxford University Press}, address = {Oxford, UK}, } @article{806466, author = {Richard M. Stallman}, title = {{EMACS} the extensible, customizable self-documenting display editor}, journal = {SIGPLAN Not.}, volume = {16}, number = {6}, year = {1981}, issn = {0362-1340}, pages = {147--156}, doi = {http://doi.acm.org/10.1145/872730.806466}, publisher = {ACM Press}, address = {New York, NY, USA}, } @book{texinfo, author = "Robert J. Chassell and Richard M. Stallman", title = "{Texinfo}: The {GNU} Documentation Format", publisher = "Reiters.com", year = 1999, isbn = "1-882114-67-1" } @manual{doxygen, author = "D van Heesch", title = "Doxygen, a documentation system for {C++}", year = 2007, note = "http://www.stack.nl/~dimitri/doxygen/", } @inproceedings{191059, author = {Stephen Shum and Curtis Cook}, title = {Using literate programming to teach good programming practices}, booktitle = {{SIGCSE} '94: {P}roceedings of the twenty-fifth {SIGCSE} symposium on Computer science education}, year = {1994}, isbn = {0-89791-646-8}, pages = {66--70}, location = {Phoenix, Arizona, United States}, doi = {http://doi.acm.org/10.1145/191029.191059}, publisher = {ACM Press}, address = {New York, NY, USA}, } @inproceedings{1035054, author = {Vreda Pieterse and Derrick G. Kourie and Andrew Boake}, title = {A case for contemporary literate programming}, booktitle = {{SAICSIT} '04: Proceedings of the 2004 annual research conference of the South African institute of computer scientists and information technologists on {IT} research in developing countries}, year = {2004}, pages = {2--9}, location = {Stellenbosch, Western Cape, South Africa}, publisher = {South African Institute for Computer Scientists and Information Technologists}, address = {, Republic of South Africa}, } @article{AOPS, author = "A. Shum and C. Cook", title = "AOPS: an abstraction-oriented programming system for literateprogramming", year = "1993", volume = "8", number = "3", pages = "113-120", journal = "Software Engineering Journal" } @article{ramsey91literate, author = "Norman Ramsey and Carla Marceau", title = "Literate Programming on a Team Project", journal = "Software - Practice and Experience", volume = "21", number = "7", pages = "677-683", year = "1991", url = "citeseer.ist.psu.edu/ramsey91literate.html" } @book{wikiway, author = "B. Leuf and W. Cunningham", title = "The Wiki Way: Collaboration and Sharing on the Internet", publisher = "Addison-Wesley", year = 2001} @article{TPLP06, author = {Jan Wielemaker and Zhisheng Huang and Lourens van der Meij}, title = {{SWI-Prolog} and the web}, journal = {TPLP}, volume = {8}, number = {3}, year = {2008}, pages = {363-392}, ee = {http://dx.doi.org/10.1017/S1471068407003237}, bibsource = {DBLP, http://dblp.uni-trier.de} } @article{ajax, volume = {38}, author = {Linda Dailey Paulson}, journal = {IEEE Computer}, title = {{B}uilding {R}ich {W}eb {A}pplications with {A}jax}, number = {10}, year = {2005}, pages = {14--17} } @inproceedings{Wielemaker:2007b, author = "Jan Wielemaker and Michiel Hildebrand and Jacco van Ossenbruggen", title = "Using {Prolog} as the fundament for applications on the semantic web", booktitle = "Proceedings of the 2nd Workshop on Applications of Logic Programming and to the web, Semantic Web and Semantic Web Services", year = "2007", pages = "84--98", location = "Porto, Portugal", editor = "S.Heymans and A. Polleres and E. Ruckhaus and D. Pearse and G. Gupta", url = "http://hcs.science.uva.nl/projects/SWI-Prolog/articles/mn9c.pdf" } @inproceedings{Wielemaker:2007c, author = "Jan Wielemaker and Anjo Anjewierden", title = "{PlDoc}: {Wiki} style literate Programming for {Prolog}", Booktitle = "Proceedings of the 17th Workshop on Logic-Based methods in Programming Environments", year = "2007", pages = "16--30", location = "Porto, Portugal", editor = "Patricia Hill and Wim Vanhoof", url = "http://hcs.science.uva.nl/projects/SWI-Prolog/articles/pldoc.pdf" } @InProceedings{iclp95*697, author = "I. V. Ramakrishnan and Prasad Rao and Konstantinos Sagonas and Terrance Swift and David S. Warren", title = "Efficient Tabling Mechanisms for Logic Programs", pages = "697--714", ISBN = "0-262-69177-9", editor = "Leon Sterling", booktitle = "Proceedings of the 12th International Conference on Logic Programming", month = "june", publisher = "MIT Press", address = "Cambridge", year = "1995", } @inproceedings{DBLP:conf/iclp/CastroC01, author = {Lu\'{\i}s Fernando Castro and V\'{\i}tor Santos Costa}, title = {Understanding Memory Management in {Prolog} Systems}, booktitle = {{ICLP}}, year = {2001}, pages = {11-26}, ee = {http://link.springer.de/link/service/series/0558/bibs/2237/22370011.htm}, crossref = {DBLP:conf/iclp/2001}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/iclp/2001, editor = {Philippe Codognet}, title = {Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings}, booktitle = {{ICLP}}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {2237}, year = {2001}, isbn = {3-540-42935-2}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{GCBProlog, author = { Neng-Fa Zhou}, title = {Garbage Collection in {B-Prolog}}, booktitle = {Proc. of the First Workshop on Memory Management in Logic Programming Implementations}, year = {2000}, } @TechReport{ShapiroCP, author = {Ehud Shapiro}, title = {A subset of {Concurrent} {Prolog} and its interpreter}, institution = {ICOT, Tokyo}, note = {Revised in Concurrent Prolog, MIT Press, 1987}, year = 1983, } @inproceedings{DBLP:conf/iclp/HermenegildoGC95, author = {Manuel V. Hermenegildo and Daniel Cabeza Gras and Manuel Carro}, title = {Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems}, booktitle = {{ICLP}}, year = {1995}, pages = {631-645}, bibsource = {DBLP, http://dblp.uni-trier.de} } @Misc{isodcg, author = "Paulo Moura et. al.", editor = "Paulo Moura", title = "Prolog", year = 2006, note = "ISO/IEC DTR 13211–3:2006", url = "www.sju.edu/~jhodgson/wg17/draftoct.pdf" } @inproceedings{holzbaur:1992, author = "Christian Holzbaur", title = {Metastructures versus Attributed Variables in the Context of Extensible Unification}, booktitle = {{PLILP}}, year = {1992}, volume = {631}, note = {LNCS 631}, pages = {260-268}, publisher= {Springer-Verlag} } @inproceedings{Tarau90:PLILP, author = "Paul Tarau and Michel Boyer", title = {Elementary logic programs}, booktitle = {{PLILP}}, year = 1990, note = {LNCS 456}, pages = {365--381}, location = {Link{\"o}ping, Sweden}, publisher = {Springer-Verlag} } @inproceedings{TarauNeumerkel, author = "Paul Tarau and Ulrich Neumerkel", title = "A Novel Term Compression Scheme and Data Representation in the {BinWAM}", booktitle = {{PLILP}}, year = 1994, pages = {73--87}, location = {Madrid, Spain}, note = {LNCS 844}, publisher = {Springer-Verlag} } @article{ wadler87fixing, author = "Philip L. Wadler", title = {Fixing Some Space Leaks with a Garbage Collector}, journal = "Software Practice and Experience", volume = "17", number = "9", publisher = "Wiley", pages = "595--609", year = 1987 } @inproceedings{BinPrologGC, author = "Bart Demoen and Paul Tarau and Geert Engels", title = "Segment order preserving copying garbage collection for {WAM} based {Prolog}", booktitle = {Symposion on Applied Computing {(SAC)}}, pages = {380--386}, location = {Philadelphia, PA}, year = 1996, publisher = {ACM} } @inproceedings{bekkers:1992, author = "Yves Bekkers and Olivier Ridoux and Lucien Ungaro", title = {Dynamic Memory Management for Sequential Logic Programming Languages}, booktitle = "Workshop on Memory Management", location = "St. Malo, France", year = 1992, note = "LNCS 627" } @inproceedings{brisset:1993, author = "Pascal Brisset", title = {Metaterms with several attributes}, booktitle = "Workshop on Methodologies for Composing Logic Programs {(ILPS)}", year = 1993 } @inproceedings{noye:1994, author = "Jacque Noy{\'e}", title = {Backtrackable Updates}, booktitle = "Workshop on Implementation techniques for Logic Programming Languages ({ILPS})", pages = "88-", year = 1994 } @inproceedings{DBLP:conf/iclp/Buettner86, author = {Kevin A. Buettner}, title = {Fast Decompilation of Compiled Prolog Clauses}, booktitle = {{ICLP}}, year = {1986}, pages = {663-670}, crossref = {DBLP:conf/iclp/1986}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/iclp/1986, editor = {Ehud Y. Shapiro}, title = {Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings}, booktitle = {{ICLP}}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {225}, year = {1986}, isbn = {3-540-16492-8}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{DBLP:conf/pldi/NethercoteS07, author = {Nicholas Nethercote and Julian Seward}, title = {Valgrind: a framework for heavyweight dynamic binary instrumentation}, booktitle = {{PLDI}}, year = {2007}, pages = {89-100}, ee = {http://doi.acm.org/10.1145/1250734.1250746}, crossref = {DBLP:conf/pldi/2007}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/pldi/2007, editor = {Jeanne Ferrante and Kathryn S. McKinley}, title = {Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007}, booktitle = {{PLDI}}, publisher = {ACM}, year = {2007}, isbn = {978-1-59593-633-2}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{prolog:fdpe2008, author = {Ulrich Neumerkel and Markus Triska and Jan Wielemaker}, title = {Declarative language extensions for {Prolog} courses}, booktitle = {{FDPE} '08: {ACM SIGPLAN} Workshop on Functional and Declarative Programming in Education}, year = {2008}, isbn = {978-1-60558-068-5}, pages = {73--78}, location = {Victoria, BC, Canada}, doi = {http://doi.acm.org/10.1145/1411260.1411271}, publisher = {ACM} } @inproceedings{clpfd:wlp2008, author = {Markus Triska and Ulrich Neumerkel and Jan Wielemaker}, title = {A generalized finite domain constraint solver for {SWI-Prolog}}, booktitle = {22nd {WLP} 2008}, editor = {Sibylle Schwarz}, location = {Dresden, Germany}, pages = {89--91}, year = {2008} } @inproceedings{clpb:Triska2016, author = "Markus Triska", title = "The {Boolean} Constraint Solver of {SWI-Prolog}: System Description", booktitle = "{FLOPS}", series = "LNCS", volume = 9613, year = 2016, pages = "45--61", note = "https://www.metalevel.at/swiclpb.pdf" } \item P.~Tarau, U.~Neumerkel. A Novel Term Compression Scheme and Data Representation in the BinWAM. {\em Proc.~of Programming Languages Implementation and Logic Programming (PLILP'94)}, LNCS 844, Madrid 1994. @article{DBLP:dblpjournals/tplp/CovingtonBOWP12, author = {Michael A. Covington and Roberto Bagnara and Richard A. O'Keefe and Jan Wielemaker and Simon Price}, title = {Coding guidelines for {Prolog}.}, journal = {{TPLP}}, volume = {12}, number = {6}, year = {2012}, pages = {889-927}, ee = {http://journals.cambridge.org/action/displayAbstract?aid} } @inproceedings{WLPE/Wielemaker/2012, author = "Jan Wielemaker and Nicos Angelopoulos", title = "Syntactic integration of external languages in {Prolog}", Booktitle = "Proceedings of {WLPE} 2012", year = "2012", location = "Budapest, Hungary", ee = "http://www.swi-prolog.org/download/publications/multilang.pdf" } @inproceedings{DBLP:conf/haskell/Mainland07, author = {Geoffrey Mainland}, title = {Why it's nice to be quoted: quasiquoting for {Haskell}}, booktitle = {Haskell}, year = {2007}, pages = {73-82}, ee = {http://doi.acm.org/10.1145/1291201.1291211}, crossref = {DBLP:conf/haskell/2007}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/haskell/2007, editor = {Gabriele Keller}, title = {Proceedings of the {ACM SIGPLAN} Workshop on {Haskell}, {Haskell} 2007, {Freiburg}, {Germany}, September 30, 2007}, booktitle = {Haskell}, publisher = {ACM}, year = {2007}, isbn = {978-1-59593-674-5}, bibsource = {DBLP, http://dblp.uni-trier.de} } @incollection{logicalloops:2002, year={2002}, isbn={978-3-540-43930-1}, booktitle={Logic Programming}, volume={2401}, series={Lecture Notes in Computer Science}, editor={Stuckey, PeterJ.}, doi={10.1007/3-540-45619-8_16}, title={Logical Loops}, url={http://dx.doi.org/10.1007/3-540-45619-8_16}, publisher={Springer Berlin Heidelberg}, author={Joachim Schimpf}, pages={224-238}, language={English} } @InProceedings{Draxler:ALPUK91, author = "C. Draxler", title = "Accessing Relational and {$NF^2$} Databases Through Database Set Predicates", booktitle = "{ALPUK91}: Proceedings of the 3rd {UK} Annual Conference on Logic Programming, {E}dinburgh 1991", year = "1991", editor = "Geraint A. Wiggins and Chris Mellish and Tim Duncan", series = "Workshops in Computing", publisher = "Springer-Verlag", ISBN = "3-540-19734-6", keywords = "Databases", pages = "156--173", } @article{DBLP:journals/tplp/SchrijversDDW13, author = {Tom Schrijvers and Bart Demoen and Benoit Desouter and Jan Wielemaker}, title = {Delimited continuations for {Prolog}}, journal = {{TPLP}}, volume = {13}, number = {4-5}, pages = {533--546}, year = {2013}, url = {http://dx.doi.org/10.1017/S1471068413000331}, doi = {10.1017/S1471068413000331}, timestamp = {Wed, 23 Oct 2013 16:14:08 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/journals/tplp/SchrijversDDW13}, bibsource = {dblp computer science bibliography, http://dblp.org} } @article{DBLP:journals/tplp/DesouterDS15, author = {Benoit Desouter and Marko van Dooren and Tom Schrijvers}, title = {Tabling as a library with delimited control}, journal = {{TPLP}}, volume = {15}, number = {4-5}, pages = {419--433}, year = {2015}, url = {http://dx.doi.org/10.1017/S1471068415000137}, doi = {10.1017/S1471068415000137}, timestamp = {Mon, 07 Sep 2015 14:17:52 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/journals/tplp/DesouterDS15}, bibsource = {dblp computer science bibliography, http://dblp.org} } @inproceedings{DBLP:conf/coordination/Tarau11, author = {Paul Tarau}, title = {Coordination and Concurrency in Multi-engine {Prolog}}, booktitle = {Coordination Models and Languages - 13th International Conference, {COORDINATION} 2011, {R}eykjavik, {I}celand, {J}une 6-9, 2011. {P}roceedings}, pages = {157--171}, year = {2011}, crossref = {DBLP:conf/coordination/2011}, url = {http://dx.doi.org/10.1007/978-3-642-21464-6_11}, doi = {10.1007/978-3-642-21464-6_11}, timestamp = {Fri, 10 Jun 2011 15:21:55 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/coordination/Tarau11}, bibsource = {dblp computer science bibliography, http://dblp.org} } @proceedings{DBLP:conf/coordination/2011, editor = {Wolfgang De Meuter and Gruia{-}Catalin Roman}, title = {Coordination Models and Languages - 13th International Conference, {COORDINATION} 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6721}, publisher = {Springer}, year = {2011}, url = {http://dx.doi.org/10.1007/978-3-642-21464-6}, doi = {10.1007/978-3-642-21464-6}, isbn = {978-3-642-21463-9}, timestamp = {Fri, 10 Jun 2011 15:20:21 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/coordination/2011}, bibsource = {dblp computer science bibliography, http://dblp.org} } @article{DBLP:journals/toplas/SagonasS98, author = {Konstantinos Sagonas and Terrance Swift}, title = {An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {20}, number = {3}, pages = {586--634}, year = {1998}, url = {https://doi.org/10.1145/291889.291897}, doi = {10.1145/291889.291897}, timestamp = {Tue, 06 Nov 2018 12:51:29 +0100}, biburl = {https://dblp.org/rec/bib/journals/toplas/SagonasS98}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{SAGONAS20001, title = "An abstract machine for efficiently computing queries to well-founded models", journal = "The Journal of Logic Programming", volume = "45", number = "1", pages = "1 - 41", year = "2000", issn = "0743-1066", doi = "https://doi.org/10.1016/S0743-1066(00)00005-4", url = "http://www.sciencedirect.com/science/article/pii/S0743106600000054", author = "Konstantinos Sagonas and Terrance Swift and David S. Warren", } @article{DBLP:journals/tplp/Swift14, author = {Terrance Swift}, title = {Incremental Tabling in Support of Knowledge Representation and Reasoning}, journal = {{TPLP}}, volume = {14}, number = {4-5}, pages = {553--567}, year = {2014}, url = {https://doi.org/10.1017/S1471068414000209}, doi = {10.1017/S1471068414000209}, timestamp = {Sat, 27 May 2017 14:23:06 +0200}, biburl = {https://dblp.org/rec/bib/journals/tplp/Swift14}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/aaai/GrosofS13, author = {Benjamin Nathan Grosof and Terrance Swift}, title = {{Radial Restraint}: {A} Semantically Clean Approach to Bounded Rationality for Logic Programs}, booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}}, year = {2013}, crossref = {DBLP:conf/aaai/2013}, url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI13/paper/view/6459}, timestamp = {Tue, 17 Dec 2013 19:26:12 +0100}, biburl = {https://dblp.org/rec/bib/conf/aaai/GrosofS13}, bibsource = {dblp computer science bibliography, https://dblp.org} } @proceedings{DBLP:conf/aaai/2013, editor = {Marie desJardins and Michael L. Littman}, title = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}}, publisher = {{AAAI} Press}, year = {2013}, url = {http://www.aaai.org/Library/AAAI/aaai13contents.php}, isbn = {978-1-57735-615-8}, timestamp = {Tue, 17 Dec 2013 19:26:12 +0100}, biburl = {https://dblp.org/rec/bib/conf/aaai/2013}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/corr/abs-1301-7669, author = {Jan Wielemaker}, title = {Extending the logical update view with transaction support}, journal = {CoRR}, volume = {abs/1301.7669}, year = {2013}, url = {http://arxiv.org/abs/1301.7669}, archivePrefix = {arXiv}, primaryClass = {cs.PL}, eprint = {1301.7669}, timestamp = {Mon, 13 Aug 2018 16:47:38 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1301-7669.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @unpublished{declarativeloops:2010, author = {Neng-Fa Zhou}, title = {Declarative Loops and List Comprehensions for {Prolog}}, year = {2010}, month = {Jan}, note = {http://www.sci.brooklyn.cuny.edu/~zhou/papers/loops.pdf} } @Book{Aït-Kaci:99, author = "Hassan Aït-Kaci", title = "{Warren's Abstract Machine}, A Tutorial Reconstruction", year = 1991, ISBN = "978-0262510585", publisher = "{MIT} Press (out of print)", url = "https://github.com/a-yiorgos/wambook", } @TechReport{Appleby:86, author = "Karen Appleby, Mats Carlsson, Seif Haridi, Dan Sahlin", title = "Garbage Collection for {Prolog} Based on {WAM} (Revised version)", url = "https://www.researchgate.net/publication/279463524_Garbage_Collection_for_Prolog_Based_on_WAM_Revised_version" } @TechReport{Clocksin:83, author = "W.~F. Clocksin", title = "The {ZIP} Virtual Machine", url = "https://www.softwarepreservation.org/projects/prolog/edinburgh/doc/Clocksin-ZIP_VM-1983_01.pdf" } @incollection{DBLP:series/lncs-0001S23, author = {Carl Andersen and Theresa Swift}, editor = {David Scott Warren and Ver{\'{o}}nica Dahl and Thomas Eiter and Manuel V. Hermenegildo and Robert A. Kowalski and Francesca Rossi}, title = {The Janus System: {A} Bridge to New Prolog Applications}, booktitle = {Prolog: The Next 50 Years}, series = {Lecture Notes in Computer Science}, volume = {13900}, pages = {93--104}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-35254-6\_8}, doi = {10.1007/978-3-031-35254-6\_8}, timestamp = {Mon, 14 Aug 2023 21:18:03 +0200}, biburl = {https://dblp.org/rec/series/lncs/0001S23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/corr/abs-2308-15893, author = {Theresa Swift and Carl Andersen}, title = {The Janus System: Multi-paradigm Programming in Prolog and Python}, journal = {CoRR}, volume = {abs/2308.15893}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2308.15893}, doi = {10.48550/arXiv.2308.15893}, eprinttype = {arXiv}, eprint = {2308.15893}, timestamp = {Mon, 04 Sep 2023 15:29:24 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2308-15893.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }