{"id":"https://openalex.org/W2911601159","doi":"https://doi.org/10.1017/s1471068411000494","title":"SWI-Prolog","display_name":"SWI-Prolog","publication_year":2011,"publication_date":"2011-09-12","ids":{"openalex":"https://openalex.org/W2911601159","doi":"https://doi.org/10.1017/s1471068411000494","mag":"2911601159"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068411000494","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068411000494","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/1A18020C8CA2A2EE389BE6A714D6A148/S1471068411000494a.pdf/div-class-title-swi-prolog-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/1A18020C8CA2A2EE389BE6A714D6A148/S1471068411000494a.pdf/div-class-title-swi-prolog-div.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052365388","display_name":"Jan Wielemaker","orcid":"https://orcid.org/0000-0001-5574-5673"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"JAN WIELEMAKER","raw_affiliation_strings":["Faculty of Sciences, Computer Science, VU University Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands (e-mail:","VU University Amsterdam"],"affiliations":[{"raw_affiliation_string":"Faculty of Sciences, Computer Science, VU University Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands (e-mail:","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"VU University Amsterdam","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050247934","display_name":"Tom Schrijvers","orcid":"https://orcid.org/0000-0001-8771-5559"},"institutions":[{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"TOM SCHRIJVERS","raw_affiliation_strings":["Department of Applied Mathematics and Computer Science, Ghent University, Krijgslaan 281 S9, 9000 Gent, Belgium (e-mail:","Universiteit Gent"],"affiliations":[{"raw_affiliation_string":"Department of Applied Mathematics and Computer Science, Ghent University, Krijgslaan 281 S9, 9000 Gent, Belgium (e-mail:","institution_ids":["https://openalex.org/I32597200"]},{"raw_affiliation_string":"Universiteit Gent","institution_ids":["https://openalex.org/I32597200"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072110185","display_name":"Markus Triska","orcid":null},"institutions":[{"id":"https://openalex.org/I161878677","display_name":"Austrian Research Institute for Artificial Intelligence","ror":"https://ror.org/04j47vk14","country_code":"AT","type":"facility","lineage":["https://openalex.org/I161878677","https://openalex.org/I4210107880"]},{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"MARKUS TRISKA","raw_affiliation_strings":["Institut f\u00fcr Informationssysteme 184/2, Technische Universit\u00e4t Wien, Abteilung f\u00fcr Datenbanken und Artificial Intelligence, Favoritenstra\u00dfe 9, A-1040 Wien, Austria (e-mail:","Technische Universit\u00e4t Wien"],"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informationssysteme 184/2, Technische Universit\u00e4t Wien, Abteilung f\u00fcr Datenbanken und Artificial Intelligence, Favoritenstra\u00dfe 9, A-1040 Wien, Austria (e-mail:","institution_ids":["https://openalex.org/I161878677"]},{"raw_affiliation_string":"Technische Universit\u00e4t Wien","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009187454","display_name":"Torbj\u00f6rn Lager","orcid":null},"institutions":[{"id":"https://openalex.org/I881427289","display_name":"University of Gothenburg","ror":"https://ror.org/01tm6cn81","country_code":"SE","type":"education","lineage":["https://openalex.org/I881427289"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"TORBJ\u00d6RN LAGER","raw_affiliation_strings":["Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Box 200, S-40530 G\u00f6teborg (e-mail:","University of Gothenburg"],"affiliations":[{"raw_affiliation_string":"Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Box 200, S-40530 G\u00f6teborg (e-mail:","institution_ids":["https://openalex.org/I881427289"]},{"raw_affiliation_string":"University of Gothenburg","institution_ids":["https://openalex.org/I881427289"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5052365388"],"corresponding_institution_ids":["https://openalex.org/I865915315"],"apc_list":null,"apc_paid":null,"fwci":52.7454,"has_fulltext":true,"cited_by_count":371,"citation_normalized_percentile":{"value":0.99845815,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":99,"max":100},"biblio":{"volume":"12","issue":"1-2","first_page":"67","last_page":"96"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9922000169754028,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9847000241279602,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.9385581612586975},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8206727504730225},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5963672399520874},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5732281804084778},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.5684038996696472},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.5272223949432373},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5266373157501221},{"id":"https://openalex.org/keywords/documentation","display_name":"Documentation","score":0.5040985345840454}],"concepts":[{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.9385581612586975},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8206727504730225},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5963672399520874},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5732281804084778},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.5684038996696472},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5272223949432373},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5266373157501221},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.5040985345840454},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1017/s1471068411000494","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068411000494","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/1A18020C8CA2A2EE389BE6A714D6A148/S1471068411000494a.pdf/div-class-title-swi-prolog-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:research.vu.nl:openaire_cris_publications/acd957d3-7d61-4b17-9bff-4e5457a95fa8","is_oa":false,"landing_page_url":"https://research.vu.nl/en/publications/acd957d3-7d61-4b17-9bff-4e5457a95fa8","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Wielemaker, J, Schrijvers, T, Triska, M & Lager, T 2011, 'SWI-Prolog', Theory and practice of logic programming. https://doi.org/10.1017/S1471068411000494","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:arXiv.org:1011.5332","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1011.5332","pdf_url":"https://arxiv.org/pdf/1011.5332","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"pmh:oai:research.vu.nl:publications/acd957d3-7d61-4b17-9bff-4e5457a95fa8","is_oa":true,"landing_page_url":"https://hdl.handle.net/1871.1/acd957d3-7d61-4b17-9bff-4e5457a95fa8","pdf_url":"http://arxiv.org/abs/1011.5332","source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Wielemaker, J, Schrijvers, T, Triska, M & Lager, T 2011, 'SWI-Prolog', Theory and practice of logic programming. https://doi.org/10.1017/S1471068411000494","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:archive.ugent.be:1078584","is_oa":false,"landing_page_url":"http://hdl.handle.net/1854/LU-1078584","pdf_url":null,"source":{"id":"https://openalex.org/S4306400478","display_name":"Ghent University Academic Bibliography (Ghent University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I32597200","host_organization_name":"Ghent University","host_organization_lineage":["https://openalex.org/I32597200"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN: 1471-0684","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:lirias2repo.kuleuven.be:123456789/415562","is_oa":false,"landing_page_url":"https://lirias.kuleuven.be/bitstream/123456789/415562/1/S1471068411000494a%20%281%29.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Theory and Practice of Logic Programming, vol. 12 (1-2), (67-96)","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1017/s1471068411000494","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068411000494","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/1A18020C8CA2A2EE389BE6A714D6A148/S1471068411000494a.pdf/div-class-title-swi-prolog-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321008","display_name":"Universiteit van Amsterdam","ror":"https://ror.org/04dkp9463"},{"id":"https://openalex.org/F4320321014","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2911601159.pdf","grobid_xml":"https://content.openalex.org/works/W2911601159.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W32179101","https://openalex.org/W43244340","https://openalex.org/W655662964","https://openalex.org/W1486918153","https://openalex.org/W1509799693","https://openalex.org/W1512789879","https://openalex.org/W1542629157","https://openalex.org/W1571979909","https://openalex.org/W1579154664","https://openalex.org/W1586507224","https://openalex.org/W1586826229","https://openalex.org/W1597356853","https://openalex.org/W1679062060","https://openalex.org/W1854107847","https://openalex.org/W1869737774","https://openalex.org/W1870098585","https://openalex.org/W1909542576","https://openalex.org/W1948972915","https://openalex.org/W1973180461","https://openalex.org/W1988103858","https://openalex.org/W2040704129","https://openalex.org/W2056406424","https://openalex.org/W2079333278","https://openalex.org/W2138522630","https://openalex.org/W2140308918","https://openalex.org/W2144433126","https://openalex.org/W2147130906","https://openalex.org/W2153564400","https://openalex.org/W2170843621","https://openalex.org/W2171714858","https://openalex.org/W2212723152","https://openalex.org/W2481144169","https://openalex.org/W2525504771","https://openalex.org/W2989703932","https://openalex.org/W3022734214","https://openalex.org/W6639970562","https://openalex.org/W6680671437"],"related_works":["https://openalex.org/W1999702466","https://openalex.org/W2140386967","https://openalex.org/W4248067243","https://openalex.org/W4246503451","https://openalex.org/W4205997139","https://openalex.org/W1534488117","https://openalex.org/W4206249920","https://openalex.org/W1485791179","https://openalex.org/W1560895966","https://openalex.org/W1596719193"],"abstract_inverted_index":{"Abstract":[0],"SWI-Prolog":[1,87],"is":[2,113],"neither":[3],"a":[4,9,15,32,93,129],"commercial":[5],"Prolog":[6,101],"system":[7,20],"nor":[8],"purely":[10],"academic":[11],"enterprise,":[12],"but":[13],"increasingly":[14],"community":[16,102],"project.":[17],"The":[18],"core":[19],"has":[21,57],"been":[22],"shaped":[23],"to":[24],"its":[25],"current":[26],"form":[27],"while":[28],"being":[29],"used":[30],"as":[31,88,105],"tool":[33],"for":[34,39],"building":[35],"research":[36],"prototypes,":[37],"primarily":[38],"knowledge-intensive":[40],"and":[41,50,66,76,103,123],"interactive":[42],"systems.":[43],"Community":[44],"contributions":[45],"have":[46],"added":[47,63],"several":[48,64],"interfaces":[49,65],"the":[51,59,100,114],"constraint":[52],"(CLP)":[53],"libraries.":[54],"Commercial":[55],"involvement":[56],"created":[58],"initial":[60],"garbage":[61],"collector,":[62],"two":[67],"development":[68],"tools:":[69],"PlDoc":[70],"(a":[71,78],"literate":[72],"programming":[73],"documentation":[74],"system)":[75],"PlUnit":[77],"unit":[79],"testing":[80],"environment).":[81],"In":[82],"this":[83],"article,":[84],"we":[85],"present":[86],"an":[89],"integrating":[90],"tool,":[91],"supporting":[92],"wide":[94],"range":[95],"of":[96],"ideas":[97],"developed":[98],"in":[99,125],"acting":[104],"glue":[106,115],"between":[107,116],"foreign":[108],"resources.":[109],"This":[110],"article":[111],"itself":[112],"technical":[117],"articles":[118],"on":[119],"SWI-Prolog,":[120],"providing":[121],"context":[122],"experience":[124],"applying":[126],"them":[127],"over":[128],"longer":[130],"period.":[131]},"counts_by_year":[{"year":2026,"cited_by_count":7},{"year":2025,"cited_by_count":28},{"year":2024,"cited_by_count":24},{"year":2023,"cited_by_count":21},{"year":2022,"cited_by_count":23},{"year":2021,"cited_by_count":22},{"year":2020,"cited_by_count":29},{"year":2019,"cited_by_count":34},{"year":2018,"cited_by_count":33},{"year":2017,"cited_by_count":19},{"year":2016,"cited_by_count":30},{"year":2015,"cited_by_count":29},{"year":2014,"cited_by_count":26},{"year":2013,"cited_by_count":29},{"year":2012,"cited_by_count":10}],"updated_date":"2026-04-11T08:14:18.477133","created_date":"2019-02-21T00:00:00"}