SWI-Prolog

SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its current form while being used as a tool for building research prototypes, primarily for knowledge-intensive and interactive systems. Communi...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theory and practice of logic programming Jg. 12; H. 1-2; S. 67 - 96
Hauptverfasser: WIELEMAKER, JAN, SCHRIJVERS, TOM, TRISKA, MARKUS, LAGER, TORBJÖRN
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Cambridge, UK Cambridge University Press 01.01.2012
Schlagworte:
Communities
Computer Sciences
Datavetenskap (datalogi)
Glues
Interactive
Logic programming
Programming
Prolog
Prolog (programming language)
Regular Papers
Prolog
logic programming system
ISSN:1471-0684, 1475-3081
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its current form while being used as a tool for building research prototypes, primarily for knowledge-intensive and interactive systems. Community contributions have added several interfaces and the constraint (CLP) libraries. Commercial involvement has created the initial garbage collector, added several interfaces and two development tools: PlDoc (a literate programming documentation system) and PlUnit (a unit testing environment). In this article, we present SWI-Prolog as an integrating tool, supporting a wide range of ideas developed in the Prolog community and acting as glue between foreign resources. This article itself is the glue between technical articles on SWI-Prolog, providing context and experience in applying them over a longer period.
AbstractList SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its current form while being used as a tool for building research prototypes, primarily for knowledge-intensive and interactive systems. Community contributions have added several interfaces and the constraint (CLP) libraries. Commercial involvement has created the initial garbage collector, added several interfaces and two development tools: PlDoc (a literate programming documentation system) and PlUnit (a unit testing environment). In this article, we present SWI-Prolog as an integrating tool, supporting a wide range of ideas developed in the Prolog community and acting as glue between foreign resources. This article itself is the glue between technical articles on SWI-Prolog, providing context and experience in applying them over a longer period.
SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its current form while being used as a tool for building research prototypes, primarily for knowledge-intensive and interactive systems. Community contributions have added several interfaces and the constraint (CLP) libraries. Commercial involvement has created the initial garbage collector, added several interfaces and two development tools: PlDoc (a literate programming documentation system) and PlUnit (a unit testing environment). In this article we present SWI-Prolog as an integrating tool, supporting a wide range of ideas developed in the Prolog community and acting as glue between foreign resources. This article itself is the glue between technical articles on SWI-Prolog, providing context and experience in applying them over a longer period.
SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its current form while being used as a tool for building research prototypes, primarily for knowledge-intensive and interactive systems. Community contributions have added several interfaces and the constraint (CLP) libraries. Commercial involvement has created the initial garbage collector, added several interfaces and two development tools: PlDoc (a literate programming documentation system) and PlUnit (a unit testing environment). In this article, we present SWI-Prolog as an integrating tool, supporting a wide range of ideas developed in the Prolog community and acting as glue between foreign resources. This article itself is the glue between technical articles on SWI-Prolog, providing context and experience in applying them over a longer period.
Abstract SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its current form while being used as a tool for building research prototypes, primarily for knowledge-intensive and interactive systems. Community contributions have added several interfaces and the constraint (CLP) libraries. Commercial involvement has created the initial garbage collector, added several interfaces and two development tools: PlDoc (a literate programming documentation system) and PlUnit (a unit testing environment). In this article, we present SWI-Prolog as an integrating tool, supporting a wide range of ideas developed in the Prolog community and acting as glue between foreign resources. This article itself is the glue between technical articles on SWI-Prolog, providing context and experience in applying them over a longer period. [PUBLICATION ABSTRACT]
Author WIELEMAKER, JAN
LAGER, TORBJÖRN
TRISKA, MARKUS
SCHRIJVERS, TOM
Author_xml – sequence: 1
  givenname: JAN
  surname: WIELEMAKER
  fullname: WIELEMAKER, JAN
  email: J.Wielemaker@cs.vu.nl
  organization: Faculty of Sciences, Computer Science, VU University Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands (e-mail: J.Wielemaker@cs.vu.nl)
– sequence: 2
  givenname: TOM
  surname: SCHRIJVERS
  fullname: SCHRIJVERS, TOM
  email: Tom.Schrijvers@ugent.be
  organization: Department of Applied Mathematics and Computer Science, Ghent University, Krijgslaan 281 S9, 9000 Gent, Belgium (e-mail: Tom.Schrijvers@ugent.be)
– sequence: 3
  givenname: MARKUS
  surname: TRISKA
  fullname: TRISKA, MARKUS
  email: triska@dbai.tuwien.ac.at
  organization: Institut für Informationssysteme 184/2, Technische Universität Wien, Abteilung für Datenbanken und Artificial Intelligence, Favoritenstraße 9, A-1040 Wien, Austria (e-mail: triska@dbai.tuwien.ac.at)
– sequence: 4
  givenname: TORBJÖRN
  surname: LAGER
  fullname: LAGER, TORBJÖRN
  email: lager@ling.gu.se
  organization: Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Box 200, S-40530 Göteborg (e-mail: lager@ling.gu.se)
BackLink https://gup.ub.gu.se/publication/153514$$DView record from Swedish Publication Index (Göteborgs universitet)
BookMark eNp9kN9LwzAQgINMcJv-Ab765Es11yRN8yjDH4OBwhQfQ9pdSkbX1KRF_O_t3ESY6NMdd9933N2EjBrfICHnQK-AgrxeApdAs5wDUEq54kdkPJREwmgOo68ckm3_hExiXFMKGUv5mEyWr_PkKfjaV6fk2Jo64tk-TsnL3e3z7CFZPN7PZzeLpOQq6xKFFldpKiHLitKaVSkKyViqUsxzioUQlluDnEFpZQpWMkRhpZE5ME5TrtiUJLu58R3bvtBtcBsTPrQ3Tld9q4dS1euIGgQTwAf-cse3wb_1GDu9cbHEujYN-j5qyCQwJmi-RS8O0LXvQzNcoxVkCoRidIDkDiqDjzGg1aXrTOd80wXjag1Ub1-qf710MOHA_N79P4ftHbMpgltV-LPT39YnnF2FkA
CitedBy_id crossref_primary_10_1007_s10601_024_09372_9
crossref_primary_10_1587_transinf_2018EDP7192
crossref_primary_10_1177_0278364913481635
crossref_primary_10_3233_AAC_230009
crossref_primary_10_1007_s10994_019_05862_7
crossref_primary_10_1016_j_scico_2015_11_008
crossref_primary_10_1016_j_aei_2019_100966
crossref_primary_10_1016_j_eswa_2020_113243
crossref_primary_10_1016_j_ijar_2017_09_007
crossref_primary_10_1017_S1471068412000208
crossref_primary_10_1007_s10472_019_09637_7
crossref_primary_10_1007_s10994_020_05911_6
crossref_primary_10_1016_j_neucom_2015_01_074
crossref_primary_10_1016_j_scico_2018_11_008
crossref_primary_10_3390_electronics5040072
crossref_primary_10_1111_coin_12174
crossref_primary_10_1017_S1471068421000478
crossref_primary_10_1017_S1471068418000443
crossref_primary_10_1017_S1471068422000059
crossref_primary_10_1017_S1471068417000333
crossref_primary_10_1186_s13015_014_0024_2
crossref_primary_10_3389_fcomp_2024_1321238
crossref_primary_10_3390_s18103336
crossref_primary_10_1007_s10549_015_3443_y
crossref_primary_10_4018_IJKSS_2020010101
crossref_primary_10_1109_TFUZZ_2020_2973129
crossref_primary_10_1145_2983918
crossref_primary_10_4204_EPTCS_416_4
crossref_primary_10_3390_app122111223
crossref_primary_10_1016_j_ijmedinf_2020_104075
crossref_primary_10_1017_S1471068420000435
crossref_primary_10_1038_s42003_018_0268_3
crossref_primary_10_1016_j_robot_2024_104762
crossref_primary_10_1007_s10994_018_5750_0
crossref_primary_10_1016_j_scico_2022_102895
crossref_primary_10_1080_0952813X_2018_1544280
crossref_primary_10_1016_j_cogsys_2018_06_002
crossref_primary_10_1017_S1471068419000383
crossref_primary_10_1177_1748006X13484425
crossref_primary_10_1016_j_knosys_2019_05_006
crossref_primary_10_5772_acrt_20240053
crossref_primary_10_1177_0278364920963783
crossref_primary_10_1007_s10994_018_5712_6
crossref_primary_10_1007_s10462_024_10928_7
crossref_primary_10_1017_S0960129518000427
crossref_primary_10_1016_j_ijar_2016_06_008
crossref_primary_10_1007_s00165_016_0404_0
crossref_primary_10_1007_s10601_012_9137_8
crossref_primary_10_1007_s12369_025_01234_5
crossref_primary_10_1007_s00354_019_00069_9
crossref_primary_10_1016_j_dib_2016_03_024
crossref_primary_10_1016_j_knosys_2011_09_009
crossref_primary_10_1109_TPAMI_2022_3191093
crossref_primary_10_1017_S1471068415000332
crossref_primary_10_1371_journal_pone_0164023
crossref_primary_10_1093_logcom_exac072
crossref_primary_10_1109_TASE_2020_2980628
crossref_primary_10_1002_spe_2386
crossref_primary_10_1016_j_ifacol_2016_10_677
crossref_primary_10_1007_s10458_024_09653_w
crossref_primary_10_1038_srep08988
crossref_primary_10_1109_TCIAIG_2014_2308362
crossref_primary_10_3390_info8040129
crossref_primary_10_1016_j_artint_2015_05_010
crossref_primary_10_1007_s00371_025_04054_w
crossref_primary_10_1016_j_jss_2023_111674
crossref_primary_10_1109_ACCESS_2022_3225074
crossref_primary_10_1017_S1471068425100082
crossref_primary_10_1007_s13755_024_00298_3
crossref_primary_10_1007_s10472_019_09680_4
crossref_primary_10_1080_27660400_2025_2544516
crossref_primary_10_1186_s13040_017_0123_y
crossref_primary_10_1007_s10846_023_01806_5
crossref_primary_10_1007_s13218_019_00584_3
crossref_primary_10_1002_spe_2410
crossref_primary_10_1017_S1471068421000260
crossref_primary_10_1016_j_aei_2025_103781
crossref_primary_10_1007_s10472_017_9544_z
crossref_primary_10_1016_j_websem_2021_100677
crossref_primary_10_3390_electronics11152420
crossref_primary_10_1090_mcom_3889
crossref_primary_10_1007_s10817_024_09711_8
crossref_primary_10_1016_j_ijar_2018_11_013
crossref_primary_10_1007_s10994_021_06016_4
crossref_primary_10_3233_AIS_160418
crossref_primary_10_3233_IA_170108
crossref_primary_10_1017_S1471068416000223
crossref_primary_10_1016_j_robot_2019_03_013
crossref_primary_10_1145_3236788
crossref_primary_10_1038_s41467_019_11680_1
crossref_primary_10_1007_s40595_017_0102_8
crossref_primary_10_1016_j_cose_2023_103321
crossref_primary_10_1007_s10462_022_10389_w
crossref_primary_10_1007_s10586_025_05253_9
crossref_primary_10_1007_s40070_016_0055_7
crossref_primary_10_3390_robotics5040021
crossref_primary_10_1017_S1471068422000102
crossref_primary_10_1016_j_compag_2013_11_013
crossref_primary_10_1109_TCBB_2016_2520943
crossref_primary_10_1016_j_ipm_2019_05_011
crossref_primary_10_4018_IJSWIS_2020010105
crossref_primary_10_1016_j_procs_2014_03_002
crossref_primary_10_1016_j_bica_2018_07_004
crossref_primary_10_1016_j_ijar_2025_109497
crossref_primary_10_1007_s10994_018_5710_8
crossref_primary_10_1007_s10514_018_9795_5
crossref_primary_10_1007_s12369_019_00600_4
crossref_primary_10_1017_S147106841400012X
crossref_primary_10_1017_S1471068421000533
crossref_primary_10_1016_j_compind_2015_02_009
crossref_primary_10_1109_LRA_2020_3007462
crossref_primary_10_1007_s11704_024_40085_7
crossref_primary_10_1109_TMECH_2015_2405473
crossref_primary_10_1145_3107936
crossref_primary_10_3390_urbansci7030078
crossref_primary_10_1145_3428297
crossref_primary_10_1017_S1471068418000066
crossref_primary_10_1108_17440081211241969
crossref_primary_10_1016_j_scico_2018_02_001
crossref_primary_10_1016_j_yexcr_2014_10_012
crossref_primary_10_1017_S1471068421000405
crossref_primary_10_1016_j_robot_2020_103653
crossref_primary_10_1016_j_scico_2013_05_008
crossref_primary_10_1017_S1471068420000137
crossref_primary_10_1080_09737766_2018_1550043
crossref_primary_10_1016_j_compmedimag_2025_102623
crossref_primary_10_1017_S1471068422000230
crossref_primary_10_1007_s10458_020_09478_3
crossref_primary_10_1002_spe_2821
Cites_doi 10.1080/088395100117043
10.1017/S1471068407003237
10.1016/S0743-1066(98)10005-5
10.1145/1242572.1242682
10.1007/s12130-999-1026-0
10.1007/11562931_44
10.1145/62959.62968
ContentType Journal Article
Copyright Copyright © Cambridge University Press 2011
Copyright_xml – notice: Copyright © Cambridge University Press 2011
DBID AAYXX
CITATION
3V.
7SC
7XB
8AL
8FD
8FE
8FG
8FK
ABUWG
AFKRA
ARAPS
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
GNUQQ
HCIFZ
JQ2
K7-
L7M
L~C
L~D
M0N
P5Z
P62
PHGZM
PHGZT
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
Q9U
ADTPV
AOWAS
F1U
DOI 10.1017/S1471068411000494
DatabaseName CrossRef
ProQuest Central (Corporate)
Computer and Information Systems Abstracts
ProQuest Central (purchase pre-March 2016)
Computing Database (Alumni Edition)
Technology Research Database
ProQuest SciTech Collection
ProQuest Technology Collection
ProQuest Central (Alumni) (purchase pre-March 2016)
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
Advanced Technologies & Computer Science Collection
ProQuest Central Essentials
ProQuest Central
Technology collection
ProQuest One Community College
ProQuest Central
ProQuest Central Student
SciTech Premium Collection
ProQuest Computer Science Collection
Computer Science Database
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
Computing Database
Advanced Technologies & Aerospace Database
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Premium
ProQuest One Academic
ProQuest One Academic Middle East (New)
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Applied & Life Sciences
ProQuest One Academic (retired)
ProQuest One Academic UKI Edition
ProQuest Central China
ProQuest Central Basic
SwePub
SwePub Articles
SWEPUB Göteborgs universitet
DatabaseTitle CrossRef
Computer Science Database
ProQuest Central Student
Technology Collection
Technology Research Database
Computer and Information Systems Abstracts – Academic
ProQuest One Academic Middle East (New)
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Essentials
ProQuest Computer Science Collection
Computer and Information Systems Abstracts
ProQuest Central (Alumni Edition)
SciTech Premium Collection
ProQuest One Community College
ProQuest Central China
ProQuest Central
ProQuest One Applied & Life Sciences
ProQuest Central Korea
ProQuest Central (New)
Advanced Technologies Database with Aerospace
Advanced Technologies & Aerospace Collection
ProQuest Computing
ProQuest Central Basic
ProQuest Computing (Alumni Edition)
ProQuest One Academic Eastern Edition
ProQuest Technology Collection
ProQuest SciTech Collection
Computer and Information Systems Abstracts Professional
Advanced Technologies & Aerospace Database
ProQuest One Academic UKI Edition
ProQuest One Academic
ProQuest Central (Alumni)
ProQuest One Academic (New)
DatabaseTitleList Computer and Information Systems Abstracts

CrossRef

Computer Science Database
Database_xml – sequence: 1
  dbid: BENPR
  name: ProQuest Central
  url: https://www.proquest.com/central
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 1475-3081
EndPage 96
ExternalDocumentID oai_gup_ub_gu_se_153514
2565544391
10_1017_S1471068411000494
Genre Feature
GroupedDBID -E.
.FH
09C
09E
0E1
0R~
123
29Q
3V.
4.4
5VS
74X
74Y
7~V
8FE
8FG
8R4
8R5
AAAZR
AABES
AABWE
AACJH
AAEED
AAFUK
AAGFV
AAKTX
AANRG
AARAB
AASVR
AAUKB
AAYOK
ABBXD
ABITZ
ABJNI
ABKKG
ABMWE
ABMYL
ABQTM
ABQWD
ABROB
ABTCQ
ABUWG
ABZCX
ACBMC
ACCHT
ACGFS
ACIMK
ACNCT
ACQFJ
ACREK
ACUIJ
ACUYZ
ACWGA
ACYZP
ACZBM
ACZUX
ACZWT
ADCGK
ADDNB
ADFEC
ADGEJ
ADKIL
ADOCW
ADOVH
ADVJH
AEBAK
AEHGV
AEMTW
AENEX
AENGE
AEYYC
AFFUJ
AFKQG
AFKRA
AFKSM
AFLOS
AFLVW
AFUTZ
AGABE
AGBYD
AGJUD
AGOOT
AHQXX
AHRGI
AIGNW
AIHIV
AIOIP
AISIE
AJ7
AJCYY
AJPFC
AJQAS
ALMA_UNASSIGNED_HOLDINGS
ALVPG
ALWZO
AQJOH
ARABE
ARAPS
ATUCA
AUXHV
AZQEC
BBLKV
BENPR
BGHMG
BGLVJ
BLZWO
BMAJL
BPHCQ
C0O
CAG
CBIIA
CCPQU
CCQAD
CCTKK
CFAFE
CHEAL
CJCSC
COF
CS3
DC4
DOHLZ
DU5
DWQXO
EBS
EJD
GNUQQ
HCIFZ
HG-
HST
HZ~
I.6
IH6
IOEEP
IPYYG
IS6
I~P
J36
J38
J3A
J9A
JHPGK
JQKCU
K6V
K7-
KCGVB
KFECR
L98
LW7
M-V
M0N
NIKVX
O9-
OK1
OYBOY
P2P
P62
PQQKQ
PROAC
PYCCK
Q2X
RAMDC
RCA
ROL
RR0
S6-
S6U
SAAAG
T9M
UT1
WFFJZ
WQ3
WXU
WXY
WYP
ZYDXJ
AAYXX
ABGDZ
ABVKB
ABVZP
ABXHF
ACAJB
ACDLN
AFFHD
AFZFC
AKMAY
CITATION
PHGZM
PHGZT
PQGLB
7SC
7XB
8AL
8FD
8FK
JQ2
L7M
L~C
L~D
PKEHL
PQEST
PQUKI
PRINS
Q9U
PUEGO
ADTPV
AOWAS
F1U
ID FETCH-LOGICAL-c496t-9efed227166bcfadc5b733292e880eb55f4fae431cf721f73ee5f7a7813402493
IEDL.DBID K7-
ISICitedReferencesCount 289
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000299888500004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1471-0684
IngestDate Tue Nov 04 16:55:19 EST 2025
Fri Sep 05 09:59:37 EDT 2025
Sun Nov 09 08:47:03 EST 2025
Sat Nov 29 04:58:34 EST 2025
Tue Nov 18 22:18:52 EST 2025
Wed Mar 13 05:53:15 EDT 2024
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 1-2
Keywords Prolog
logic programming system
Language English
License https://www.cambridge.org/core/terms
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c496t-9efed227166bcfadc5b733292e880eb55f4fae431cf721f73ee5f7a7813402493
Notes SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ObjectType-Article-1
ObjectType-Feature-2
content type line 23
OpenAccessLink https://www.cambridge.org/core/services/aop-cambridge-core/content/view/1A18020C8CA2A2EE389BE6A714D6A148/S1471068411000494a.pdf/div-class-title-swi-prolog-div.pdf
PQID 916915930
PQPubID 43613
PageCount 30
ParticipantIDs swepub_primary_oai_gup_ub_gu_se_153514
proquest_miscellaneous_1671335084
proquest_journals_916915930
crossref_citationtrail_10_1017_S1471068411000494
crossref_primary_10_1017_S1471068411000494
cambridge_journals_10_1017_S1471068411000494
PublicationCentury 2000
PublicationDate 2012-01-01
PublicationDateYYYYMMDD 2012-01-01
PublicationDate_xml – month: 01
  year: 2012
  text: 2012-01-01
  day: 01
PublicationDecade 2010
PublicationPlace Cambridge, UK
PublicationPlace_xml – name: Cambridge, UK
– name: Cambridge
PublicationTitle Theory and practice of logic programming
PublicationTitleAlternate Theory and Practice of Logic Programming
PublicationYear 2012
Publisher Cambridge University Press
Publisher_xml – name: Cambridge University Press
References S1471068411000494_ref5
Wielemaker (S1471068411000494_ref36) 2003
Pereira (S1471068411000494_ref19) 1987
S1471068411000494_ref21
Schrijvers (S1471068411000494_ref25) 2005
Anjewierden (S1471068411000494_ref2) 1990
S1471068411000494_ref28
Wielemaker (S1471068411000494_ref33) 2008
S1471068411000494_ref27
Wallace (S1471068411000494_ref29) 1999
Calejo (S1471068411000494_ref7) 2004
Szabó (S1471068411000494_ref26) 2006
Schrijvers (S1471068411000494_ref22) 2008
Bellifemine (S1471068411000494_ref4) 2001; 31
Bowen (S1471068411000494_ref6) 1983
S1471068411000494_ref1
S1471068411000494_ref3
Wielemaker (S1471068411000494_ref35) 2008
Graham (S1471068411000494_ref13) 1982
S1471068411000494_ref34
S1471068411000494_ref32
S1471068411000494_ref10
da Silva (S1471068411000494_ref8) 2007
S1471068411000494_ref31
Wielemaker (S1471068411000494_ref30) 2003
Draxler (S1471068411000494_ref11) 1991
Raymond (S1471068411000494_ref20) 1999
S1471068411000494_ref18
S1471068411000494_ref17
Schrijvers (S1471068411000494_ref24) 2004
S1471068411000494_ref16
S1471068411000494_ref15
S1471068411000494_ref14
De Koninck (S1471068411000494_ref9) 2006
Schrijvers (S1471068411000494_ref23) 2004
Frühwirth (S1471068411000494_ref12) 1998; 37
References_xml – start-page: 91
  volume-title: WLP '06: Proc. 20th Workshop on Logic Programming
  year: 2006
  ident: S1471068411000494_ref9
– start-page: 41
  volume-title: Current Trends in Knowledge Acquisition
  year: 1990
  ident: S1471068411000494_ref2
– start-page: 331
  volume-title: Practical Aspects of Declarative Languages
  year: 2003
  ident: S1471068411000494_ref30
– start-page: 714
  volume-title: Proc. JELIA
  year: 2004
  ident: S1471068411000494_ref7
– ident: S1471068411000494_ref15
  doi: 10.1080/088395100117043
– volume-title: Proc. CICLOPS '08
  year: 2008
  ident: S1471068411000494_ref35
– ident: S1471068411000494_ref5
– ident: S1471068411000494_ref27
– ident: S1471068411000494_ref34
  doi: 10.1017/S1471068407003237
– ident: S1471068411000494_ref32
– ident: S1471068411000494_ref17
– start-page: 120
  volume-title: Proc. ICLP '04
  year: 2004
  ident: S1471068411000494_ref24
– volume: 31
  start-page: 103
  year: 2001
  ident: S1471068411000494_ref4
  article-title: Developing multi-agent systems with a FIPA-compliant agent framework
  publication-title: Softw: Practice and Experience
– start-page: 156
  volume-title: ALPUK91: Proc. 3rd UK Annual Conference on Logic Programming
  year: 1991
  ident: S1471068411000494_ref11
– ident: S1471068411000494_ref14
– start-page: 120
  volume-title: Proc. SIGPLAN Symposium on Compiler Construction
  year: 1982
  ident: S1471068411000494_ref13
– volume-title: Proc. Logic Programming Workshop '83
  year: 1983
  ident: S1471068411000494_ref6
– volume-title: Prolog and Natural-Language Analysis
  year: 1987
  ident: S1471068411000494_ref19
– volume: 37
  start-page: 95
  year: 1998
  ident: S1471068411000494_ref12
  article-title: Theory and practice of constraint handling rules
  publication-title: Journal of Logic Programming, Special Issue on Constraint Logic Programming
  doi: 10.1016/S0743-1066(98)10005-5
– ident: S1471068411000494_ref1
– ident: S1471068411000494_ref18
  doi: 10.1145/1242572.1242682
– start-page: 693
  volume-title: Proc. ICLP
  year: 2008
  ident: S1471068411000494_ref22
– volume-title: Cathedral and the Bazaar: Musings on Linux and Open Source by an Accidental Revolutionary
  year: 1999
  ident: S1471068411000494_ref20
  doi: 10.1007/s12130-999-1026-0
– start-page: 257
  volume-title: Proc. ICLP
  year: 2006
  ident: S1471068411000494_ref26
– start-page: 410
  volume-title: Proc. ICLP
  year: 2007
  ident: S1471068411000494_ref8
– ident: S1471068411000494_ref28
– start-page: 644
  volume-title: Semantic Web – Proc. ISWC '03
  year: 2003
  ident: S1471068411000494_ref36
– start-page: 8
  volume-title: Proc. CHR '04, Selected Contributions
  year: 2004
  ident: S1471068411000494_ref23
– ident: S1471068411000494_ref31
– ident: S1471068411000494_ref21
  doi: 10.1007/11562931_44
– volume-title: W(C)LP '05: Proc. 19th Workshop on (Constraint) Logic Programming
  year: 2005
  ident: S1471068411000494_ref25
– ident: S1471068411000494_ref16
– start-page: 695
  volume-title: Proc. International Semantic Web Conference
  year: 2008
  ident: S1471068411000494_ref33
– start-page: 365
  volume-title: Proc. PADL
  year: 1999
  ident: S1471068411000494_ref29
– ident: S1471068411000494_ref3
  doi: 10.1145/62959.62968
– ident: S1471068411000494_ref10
SSID ssj0016324
Score 2.462224
Snippet SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its...
Abstract SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been...
SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its...
SourceID swepub
proquest
crossref
cambridge
SourceType Open Access Repository
Aggregation Database
Enrichment Source
Index Database
Publisher
StartPage 67
SubjectTerms Communities
Computer Sciences
Datavetenskap (datalogi)
Glues
Interactive
Logic programming
Programming
Prolog
Prolog (programming language)
Regular Papers
Title SWI-Prolog
URI https://www.cambridge.org/core/product/identifier/S1471068411000494/type/journal_article
https://www.proquest.com/docview/916915930
https://www.proquest.com/docview/1671335084
https://gup.ub.gu.se/publication/153514
Volume 12
WOSCitedRecordID wos000299888500004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVPQU
  databaseName: Advanced Technologies & Aerospace Collection
  customDbUrl:
  eissn: 1475-3081
  dateEnd: 20241207
  omitProxy: false
  ssIdentifier: ssj0016324
  issn: 1471-0684
  databaseCode: P5Z
  dateStart: 20010101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/hightechjournals
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Computer Science Database
  customDbUrl:
  eissn: 1475-3081
  dateEnd: 20241207
  omitProxy: false
  ssIdentifier: ssj0016324
  issn: 1471-0684
  databaseCode: K7-
  dateStart: 20010101
  isFulltext: true
  titleUrlDefault: http://search.proquest.com/compscijour
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest Central
  customDbUrl:
  eissn: 1475-3081
  dateEnd: 20241207
  omitProxy: false
  ssIdentifier: ssj0016324
  issn: 1471-0684
  databaseCode: BENPR
  dateStart: 20010101
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/central
  providerName: ProQuest
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3dS8MwEA-6-eCL8xPnVCaID2Kxa9qmeRKVDUUYRRSGL6XNLkOQbq6rf793bVonwl586UOaNOFyd7nLXX_H2HksuBJj4JYCDx0UP0aRAtGzwA4kgA5QbQZFsQkxHAajkQxNbk5m0iornVgo6vFU0R35tSRUF09y-2b2aVHRKAqumgoa66zZc5wesfmTsOogAiGRFz8XCUruCdwqqEmI0dRIbYSYRhApy9AKv4-oJbtzGUu0OH8GrX-ufJttGcOze1tyyg5bg3SXtaqiDl0j43uEPP5ohXPSifvsddB_uX-wTMEES7nSXyCVNYwdB10gP1E6HisvEZw70gGUUkg8T7s6BjQZlEbHTwsO4GkRC9wRl6AD-QFrpNMUDlmX-3YsNSpy7iautmWiHfAl2Oh-eFIKaLOrml6RYfssKlPGRPSHvG1mVySNlAEfpxoYH6uGXNZDZiXyxqrOnYr2P6upCd9mZ_VblB4KicQpTHNcsE9OOhqp-IWLcnvryQh4e5LPImya5FEGER4OaF4erZyqwzbRpHLKS5pj1ljMczhhG-pr8Z7NT1nzrj8Mn08LPsVn6L19A5le5_4
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LS8NAEB58gV6sT6z1UUE9iMGYTbLZg4j4wKKWHhTES0y2syJIW_tQ_FH-R2fysiL05sHrJrsZMu-d3W8AtiMptGyisDR6lKD4EakUykML7UAhmoDMZpA0m5D1enB_rxpj8JnfheFjlblNTAx1s615j_xAMaqLp4R93Hm1uGkUF1fzDhqpVFzhxztlbL2j2hmxd8dxLs5vTy-trKmApV3l94kSg03HoTTBj7WJmtqLpRCOcpAkGWPPM66JkNyqNpQcGSkQPSMjSVS7DK8naN1xmHRdypVIfRreQ1G0YOTz5DKT5MNEgZsXURmhmgd5jBHaGJJlGMrhp0scinOHsUsTf3dR-md_ag5ms8C6epJqwjyMYWsBSnnTimpmwxYZWb1mNbps85fg7k8oWoaJVruFK1AVvh0pQ45KuLFrbBUbB32FNqVXnlISy7Bf8CfM1LoXpkfiZPiLnWWwcxaGOgNX5x4fL6Om7BVTOimyyKiXKzmvv6kpGF2GreIpWQcu-UQtbA-IYJ83ISgIpxV2U3EqPsbA4k-DTkhDT4OwhyE5PwqfV0d-ahOmL29vrsPrWv2qAjMUPjrphtQaTPS7A1yHKf3Wf-51NxLdqMLjX4vYF83HQz0
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=SWI-Prolog&rft.jtitle=Theory+and+practice+of+logic+programming&rft.au=WIELEMAKER%2C+JAN&rft.au=SCHRIJVERS%2C+TOM&rft.au=TRISKA%2C+MARKUS&rft.au=LAGER%2C+TORBJ%C3%96RN&rft.date=2012-01-01&rft.pub=Cambridge+University+Press&rft.issn=1471-0684&rft.eissn=1475-3081&rft.volume=12&rft.issue=1-2&rft.spage=67&rft.epage=96&rft_id=info:doi/10.1017%2FS1471068411000494&rft.externalDocID=10_1017_S1471068411000494
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1471-0684&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1471-0684&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1471-0684&client=summon