@manual{QUINTUS:manual,
        key = "Quintus",
        title = "Quintus Prolog, User Guide and Reference Manual",
        institution = "AI International ltd.",
        address = "Berkhamsted, UK",
        year = 1997,
        note = "" }

@manual{SWI-Prolog:manual,
	author = "J. Wielemaker",
	title = "{SWI-Prolog 5.1}: Reference Manual",
	organization = "{SWI}, University of Amsterdam",
	address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands",
	year = 	"1997-2003",
	url  = "http://www.swi.psy.uva.nl/projects/SWI-Prolog/Manual/",
	note = "E-mail: jan@swi.psy.uva.nl"
	}

@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",
        institution = "BIM sa/nv",
        address = "Everberg, Belgium",
        year = 1989,
        note = "" }

@manual{ CPROLOG:manual,
        author = "F. Pereira",
        title = "C-Prolog User's Manual",
        institution = "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-4} online manual",
	organization = "{SWI}, 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:98,
  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{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",
  title =        "A portable {Prolog} compiler",
  booktitle =    "Proceedings of the Login Programming Workshop 1983",
  editor =       "L. M. Pereira",
  publisher =    "Universidade nova de Lisboa",
  address =      "Lisabon, Portugal",
  year =         1983,
}

@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 = ""
        }

@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/{\tt\string~}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: Implementations, 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 Australian Workshop on
                 Distributed Artificial Intelligence on Multi-Agent
                 Systems : Theories, 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 = "Mey"
}

@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:1992,
  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},
}

@inproceedings{Freuhwirth:98,
  author        = {T. Fr\"uhwirth},
  title         = {{Theory and Practice of Constraint Handling Rules}},
  booktitle     = {Special Issue on Constraint Logic Programming},
  journal       = {Journal of Logic Programming},
  editor        = {P. Stuckey and K. Marriot},
  volume        = {37},
  edition       = {1--3},
  year          = {1998},
  month         = {October}
}

@misc{chrSite,
      author	= {T. Fr\"uhwirth},
      title	= "{Thom Fruehwirth's} constraint handling rules website",
      note	= "http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/chr-intro.html"
     }

@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. Googley and Benjamin W. WAH",
	 title = "Efficient Reordering of {PROLOG} Programs",
	 journal = "IEEE Transactions on Knowledge and Data Engineering",
	 author = "Roberto Bagnara and Manuel Carro",
	 volumne = "1",
	 pages = "470--482",
	 year = "1989"
}

@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 Centre for Advanced Studies on Collaborative research},
 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 =        "jan",
  publisher = "Springer Verlag",
  address = "Berlin, Germany",
  note = "LNCS 1265"
}

@inproceedings{Schrijvers:chr04,
  title =        "The {K.U. Leuven CHR} system: implementation and application",
  booktitle=	"First Workshop on Constraint Handling Rules: Selected Contributions",
  author =       "Tom Schrijvers and Bart Demoen",
  editor = 	 "Thom {Fr\"uhwirth} and Marc Meister",
  pages=	 "430--440",
  year =         "2004",
  note = "ISSN 0939-5091"
}

