Fifty Years of Prolog and Beyond

Both logic programming in general and Prolog in particular have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A large body of research has been gathered over the last 50 years, supported by many Prolog implementations. Many implementatio...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Theory and practice of logic programming Ročník 22; číslo 6; s. 776 - 858
Hlavní autoři: KÖRNER, PHILIPP, LEUSCHEL, MICHAEL, BARBOSA, JOÃO, COSTA, VÍTOR SANTOS, DAHL, VERÓNICA, HERMENEGILDO, MANUEL V., MORALES, JOSE F., WIELEMAKER, JAN, DIAZ, DANIEL, ABREU, SALVADOR, CIATTO, GIOVANNI
Médium: Journal Article
Jazyk:angličtina
Vydáno: Cambridge Cambridge University Press 01.11.2022
Cambridge University Press (CUP)
Témata:
Computer Science
Evolution
History
Logic programming
Programming languages
Prolog
ISSN:1471-0684, 1475-3081
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Abstract Both logic programming in general and Prolog in particular have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A large body of research has been gathered over the last 50 years, supported by many Prolog implementations. Many implementations are still actively developed, while new ones keep appearing. Often, the features added by different systems were motivated by the interdisciplinary needs of programmers and implementors, yielding systems that, while sharing the “classic” core language, in particular, the main aspects of the ISO-Prolog standard, also depart from each other in other aspects. This obviously poses challenges for code portability. The field has also inspired many related, but quite different languages that have created their own communities. This article aims at integrating and applying the main lessons learned in the process of evolution of Prolog. It is structured into three major parts. First, we overview the evolution of Prolog systems and the community approximately up to the ISO standard, considering both the main historic developments and the motivations behind several Prolog implementations, as well as other logic programming languages influenced by Prolog. Then, we discuss the Prolog implementations that are most active after the appearance of the standard: their visions, goals, commonalities, and incompatibilities. Finally, we perform a SWOT analysis in order to better identify the potential of Prolog and propose future directions along with which Prolog might continue to add useful features, interfaces, libraries, and tools, while at the same time improving compatibility between implementations.
AbstractList Both logic programming in general and Prolog in particular have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A large body of research has been gathered over the last 50 years, supported by many Prolog implementations. Many implementations are still actively developed, while new ones keep appearing. Often, the features added by different systems were motivated by the interdisciplinary needs of programmers and implementors, yielding systems that, while sharing the “classic” core language, in particular, the main aspects of the ISO-Prolog standard, also depart from each other in other aspects. This obviously poses challenges for code portability. The field has also inspired many related, but quite different languages that have created their own communities. This article aims at integrating and applying the main lessons learned in the process of evolution of Prolog. It is structured into three major parts. First, we overview the evolution of Prolog systems and the community approximately up to the ISO standard, considering both the main historic developments and the motivations behind several Prolog implementations, as well as other logic programming languages influenced by Prolog. Then, we discuss the Prolog implementations that are most active after the appearance of the standard: their visions, goals, commonalities, and incompatibilities. Finally, we perform a SWOT analysis in order to better identify the potential of Prolog and propose future directions along with which Prolog might continue to add useful features, interfaces, libraries, and tools, while at the same time improving compatibility between implementations.
Abstract Both logic programming in general and Prolog in particular have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A large body of research has been gathered over the last 50 years, supported by many Prolog implementations. Many implementations are still actively developed, while new ones keep appearing. Often, the features added by different systems were motivated by the interdisciplinary needs of programmers and implementors, yielding systems that, while sharing the “classic” core language, in particular, the main aspects of the ISO-Prolog standard, also depart from each other in other aspects. This obviously poses challenges for code portability. The field has also inspired many related, but quite different languages that have created their own communities. This article aims at integrating and applying the main lessons learned in the process of evolution of Prolog. It is structured into three major parts. First, we overview the evolution of Prolog systems and the community approximately up to the ISO standard, considering both the main historic developments and the motivations behind several Prolog implementations, as well as other logic programming languages influenced by Prolog. Then, we discuss the Prolog implementations that are most active after the appearance of the standard: their visions, goals, commonalities, and incompatibilities. Finally, we perform a SWOT analysis in order to better identify the potential of Prolog and propose future directions along with which Prolog might continue to add useful features, interfaces, libraries, and tools, while at the same time improving compatibility between implementations.
Author LEUSCHEL, MICHAEL
BARBOSA, JOÃO
HERMENEGILDO, MANUEL V.
CIATTO, GIOVANNI
WIELEMAKER, JAN
KÖRNER, PHILIPP
DAHL, VERÓNICA
ABREU, SALVADOR
DIAZ, DANIEL
COSTA, VÍTOR SANTOS
MORALES, JOSE F.
Author_xml – sequence: 1
  givenname: PHILIPP
  orcidid: 0000-0001-7256-9560
  surname: KÖRNER
  fullname: KÖRNER, PHILIPP
– sequence: 2
  givenname: MICHAEL
  orcidid: 0000-0002-4595-1518
  surname: LEUSCHEL
  fullname: LEUSCHEL, MICHAEL
– sequence: 3
  givenname: JOÃO
  surname: BARBOSA
  fullname: BARBOSA, JOÃO
– sequence: 4
  givenname: VÍTOR SANTOS
  orcidid: 0000-0002-3344-8237
  surname: COSTA
  fullname: COSTA, VÍTOR SANTOS
– sequence: 5
  givenname: VERÓNICA
  surname: DAHL
  fullname: DAHL, VERÓNICA
– sequence: 6
  givenname: MANUEL V.
  orcidid: 0000-0002-7583-323X
  surname: HERMENEGILDO
  fullname: HERMENEGILDO, MANUEL V.
– sequence: 7
  givenname: JOSE F.
  orcidid: 0000-0001-9782-8135
  surname: MORALES
  fullname: MORALES, JOSE F.
– sequence: 8
  givenname: JAN
  orcidid: 0000-0001-5574-5673
  surname: WIELEMAKER
  fullname: WIELEMAKER, JAN
– sequence: 9
  givenname: DANIEL
  orcidid: 0000-0002-2700-2271
  surname: DIAZ
  fullname: DIAZ, DANIEL
– sequence: 10
  givenname: SALVADOR
  orcidid: 0000-0002-1613-4631
  surname: ABREU
  fullname: ABREU, SALVADOR
– sequence: 11
  givenname: GIOVANNI
  orcidid: 0000-0002-1841-8996
  surname: CIATTO
  fullname: CIATTO, GIOVANNI
BackLink https://paris1.hal.science/hal-03946907$$DView record in HAL
BookMark eNp1kEFPwzAMhSM0JDbgB3CrxIlDwU7atDmOiTGkSSABB06RaRPoVJqRdEj796QMLiBOfrK_Zz95wkad6wxjJwjnCFhc3GNWIMgy4xwAEPgeG8dWngoocfSlMR3mB2wSwioiUvBszJJ5Y_tt8mTIh8TZ5M671r0k1NXJpdm6rj5i-5baYI6_6yF7nF89zBbp8vb6ZjZdppXIeZ8qshiP5yUVuVUkZSULGiJVVFpjMrCCoiZRG5EbYRSU9KxqoRCUEGjEITvb7X2lVq9980Z-qx01ejFd6qEHQmVSQfGBkT3dsWvv3jcm9HrlNr6L8TQvFReSy0JGqthRlXcheGN11fTUN67rPTWtRtDD6_Sf10Un_nL-BPrf8wkMHG3G
CitedBy_id crossref_primary_10_1007_s42979_024_03244_y
crossref_primary_10_14778_3750601_3750684
crossref_primary_10_1017_S1471068422000059
crossref_primary_10_1145_3676287
crossref_primary_10_1016_j_cmpb_2023_107536
crossref_primary_10_1016_j_cogsys_2024_101279
crossref_primary_10_1017_S147106842510015X
crossref_primary_10_1016_j_knosys_2025_114140
crossref_primary_10_1017_S1471068422000230
Cites_doi 10.1007/s13347-019-00370-x
10.1007/978-3-642-61411-8
10.1109/TKDE.2015.2405562
10.1007/978-3-540-24599-5_10
10.1007/978-3-319-41540-6_23
10.1007/BFb0012847
10.1007/3-540-55844-6_141
10.1145/3322640.3326705
10.1007/978-1-4684-3384-5_3
10.1007/978-3-642-60085-2_7
10.1007/978-3-540-27775-0_9
10.1007/978-1-4471-3234-9_12
10.1007/978-3-642-02846-5_3
10.1007/s11023-020-09548-1
10.21236/ADA459656
10.1145/356924.356929
10.1007/978-1-4842-1245-5
10.1145/1176760.1176794
10.1145/116825.116838
10.1007/978-3-642-60085-2_16
10.1017/S147106840200145X
10.1017/S1471068411000470
10.1007/3-540-45402-0_38
10.1007/978-3-540-89982-2_2
10.1007/978-3-540-74782-6_11
10.1016/0004-3702(80)90003-X
10.1145/321250.321253
10.1145/236114.236120
10.1007/978-1-4684-3384-5_11
10.1016/0004-3702(93)90061-F
10.1016/0004-3702(71)90012-9
10.1007/3-540-45619-8_43
10.1017/S1471068411000391
10.1007/BF03037208
10.1145/3428193
10.1145/356770.356773
10.1007/978-3-319-67468-1_13
10.1016/S0743-1066(96)00068-4
10.1007/978-3-540-78769-3_11
10.1017/S1471068411000433
10.1145/872734.806939
10.1007/s00354-015-0103-z
10.4204/EPTCS.234.8
10.1145/234286.1057820
10.1023/A:1008328630915
10.1017/CBO9781139021326
10.1016/S0167-8191(00)00051-X
10.1007/3-540-44797-0_2
10.1007/978-3-642-02846-5_25
10.1145/359131.359136
10.1145/2103736.2103739
10.21236/AD0406138
10.1016/S0167-6423(01)00011-9
10.1109/2.108055
10.1145/185403.185453
10.1007/978-3-642-02846-5_31
10.1147/JRD.2012.2184637
10.1016/j.softx.2021.100817
10.1007/11575467_8
10.1023/A:1011960831261
10.7551/mitpress/5625.001.0001
10.1007/978-3-642-40564-8_6
10.1147/sj.252.0134
10.1108/10662249810241266
10.1007/978-3-662-49498-1_29
10.1007/978-3-540-88564-1_44
10.1007/10704567_16
10.1007/BF03037326
10.24963/ijcai.2020/679
10.1017/S1471068413000501
10.1007/11799573_6
10.1007/3-540-19027-9_6
10.1007/BF01228880
10.1007/11562931_5
10.1007/11799573_20
10.1145/1111320.1111059
10.1145/2967973.2968596
10.18653/v1/2020.acl-main.463
10.1007/978-3-642-76274-1_2
10.1017/S1471068411000512
10.1007/3-540-54444-5_104
10.1007/978-3-642-45284-0_13
10.1145/35043.35046
10.1017/S1471068418000285
10.1145/41625.41635
10.1007/978-3-540-77442-6_13
10.1016/0743-1066(94)90035-3
10.1007/s10994-013-5392-1
10.1007/978-3-642-22944-2_4
10.1007/3-540-16492-8_107
10.1007/978-3-030-63461-2_4
10.1007/11562931_14
10.1007/10722311_3
10.1109/69.542027
10.1007/978-3-030-24209-1_3
10.1016/0004-3702(84)90017-1
10.1145/1389449.1389455
10.1007/978-3-540-27775-0_3
10.1007/978-3-540-24836-1_7
10.1007/978-3-642-24206-9_1
10.1007/978-3-319-73305-0_7
10.1007/978-3-540-27775-0_30
10.1007/3-540-63255-7_33
10.1145/1238844.1238850
10.1017/S1471068418000042
10.4204/EPTCS.345.30
10.1017/S1471068411000068
10.1145/316686.316688
10.1007/3-540-45789-5_35
10.1017/S1471068411000494
10.1007/3-540-61756-6_78
10.1007/978-3-030-75775-5_27
10.1017/S1471068405002590
10.1007/978-3-540-69611-7_12
10.1145/362007.362035
10.1145/1363686.1363739
10.1016/j.scico.2005.02.006
10.1007/3-540-49201-1_26
10.1145/1929501.1929508
10.1145/3191315.3191325
10.1017/S1471068421000430
10.1007/BF00881804
10.1145/319682.319700
10.1017/S1471068418000522
10.3233/IA-190036
10.1145/3019612.3019642
10.1017/S1471068422000059
10.1145/1989323.1989456
10.1145/191843.191927
10.1016/S0743-1066(98)10022-5
10.1007/978-3-642-24206-9_2
10.1016/0743-1066(94)90033-7
10.1016/0743-1066(94)90032-9
10.1007/978-3-540-74970-7_38
10.1007/978-3-642-60085-2_17
10.1017/S1471068407003237
10.1007/BF03037470
10.1007/978-3-642-18378-2_8
10.1016/0743-1066(94)90031-0
10.1007/BF00985271
10.1017/S1471068411000445
10.1007/10722311_2
10.1007/978-0-387-35358-6_3
10.1007/BFb0033854
10.1093/comjnl/33.6.494
10.1145/35043.35045
10.1017/S1471068404002030
10.1016/j.patter.2021.100205
10.1007/s10009-007-0063-9
10.1147/sj.314.0755
10.1007/978-3-540-74610-2_27
10.1016/0743-1066(95)00121-2
10.1145/1149114.1149117
10.1017/S1471068411000469
10.1007/11799573_25
10.1145/512950.512973
10.1145/504083.504085
10.1007/3-540-55844-6_158
10.1145/773184.773191
10.1017/S1471068413000331
10.1145/2775051.2676971
10.1145/153520.153534
10.1007/3-540-16479-0_17
10.1007/978-3-642-20589-7_4
10.1023/A:1018930122475
10.1007/3-540-59155-9_15
10.2307/j.ctt1pwt9w5
10.3115/991566.991575
10.1007/3-540-46584-7_6
10.7551/mitpress/7160.001.0001
10.1007/978-3-642-58274-5
10.24963/ijcai.2020/688
10.1017/S1471068411000482
10.1007/978-3-540-74610-2_4
10.1016/B978-0-934613-53-8.50041-8
10.1007/3-540-48958-4_13
10.1007/3-540-16492-8_66
10.1145/384281.808230
10.1007/3-540-45241-9_13
10.1145/1389449.1389450
10.1007/978-94-017-0437-3_7
10.1007/3-540-44716-4_1
10.24963/ijcai.2021/600
10.1007/BF01407834
10.24963/ijcai.2020/673
10.1017/S1471068411000457
10.1007/978-3-540-89982-2_59
10.1017/CBO9780511609886
10.1007/3-540-16492-8_62
10.1007/978-3-642-40564-8_2
10.1145/3191315.3191317
10.1007/978-3-030-51924-7_1
10.1145/3386333
10.1145/1721654.1721675
10.1145/129393.129398
10.1145/321978.321991
10.1145/109626.109635
10.1609/aimag.v37i3.2669
10.1016/0304-3975(92)90168-F
10.1145/321420.321422
10.1007/3-540-16492-8_117
10.1145/24697.24709
10.1145/2043174.2043195
10.1016/0895-7177(94)90127-9
10.1051/ita/1979130403091
10.1109/TC.1978.1675141
10.1007/978-3-642-29822-6_24
10.1017/S1471068411000500
10.1007/3-540-58601-6_95
10.1016/0743-1066(84)90001-3
10.1016/j.websem.2009.12.003
10.1007/978-1-4612-3640-5
10.1017/S1471068421000211
10.1145/374308.374325
10.1007/978-1-4471-3234-9_15
10.1145/321556.321559
ContentType Journal Article
Copyright The Author(s), 2022. Published by Cambridge University Press. This work is licensed under the Creative Commons Attribution License This is an Open Access article, distributed under the terms of the Creative Commons Attribution-ShareAlike licence (http://creativecommons.org/licenses/by/4.0/), which permits re-use, distribution, and reproduction in any medium, provided the same Creative Commons licence is used to distribute the re-used or adapted article and the original article is properly cited. (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Distributed under a Creative Commons Attribution 4.0 International License
Copyright_xml – notice: The Author(s), 2022. Published by Cambridge University Press. This work is licensed under the Creative Commons Attribution License This is an Open Access article, distributed under the terms of the Creative Commons Attribution-ShareAlike licence (http://creativecommons.org/licenses/by/4.0/), which permits re-use, distribution, and reproduction in any medium, provided the same Creative Commons licence is used to distribute the re-used or adapted article and the original article is properly cited. (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
– notice: Distributed under a Creative Commons Attribution 4.0 International License
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
1XC
DOI 10.1017/S1471068422000102
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 - QC
ProQuest Central
ProQuest 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 (New)
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
Hyper Article en Ligne (HAL)
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 Science Database
CrossRef
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 858
ExternalDocumentID oai:HAL:hal-03946907v1
10_1017_S1471068422000102
GroupedDBID -E.
.FH
09C
09E
0E1
0R~
123
29Q
4.4
5VS
74X
74Y
7~V
8FE
8FG
8R4
8R5
AAAZR
AABES
AABWE
AACJH
AAFUK
AAGFV
AAKTX
AANRG
AARAB
AASVR
AAUKB
AAYXX
ABBXD
ABGDZ
ABITZ
ABJNI
ABKKG
ABMWE
ABQTM
ABQWD
ABROB
ABTCQ
ABUWG
ABVKB
ABVZP
ABXHF
ABZCX
ACAJB
ACBMC
ACDLN
ACGFS
ACIMK
ACNCT
ACUIJ
ACYZP
ACZBM
ACZUX
ACZWT
ADCGK
ADDNB
ADFEC
ADKIL
ADOVH
ADVJH
AEBAK
AEHGV
AEMTW
AENEX
AENGE
AFFHD
AFFUJ
AFKQG
AFKRA
AFLOS
AFLVW
AFUTZ
AFZFC
AGABE
AGBYD
AGJUD
AHQXX
AHRGI
AIGNW
AIHIV
AIOIP
AISIE
AJ7
AJCYY
AJPFC
AJQAS
AKMAY
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
CITATION
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
NIKVX
O9-
OYBOY
P2P
P62
PHGZM
PHGZT
PQGLB
PQQKQ
PROAC
PYCCK
Q2X
RAMDC
RCA
ROL
RR0
S6-
S6U
SAAAG
T9M
UT1
WFFJZ
WQ3
WXU
WYP
ZYDXJ
3V.
7SC
7XB
8AL
8FD
8FK
JQ2
L7M
L~C
L~D
M0N
PKEHL
PQEST
PQUKI
PRINS
Q9U
1XC
ID FETCH-LOGICAL-c352t-9af184258a75f9a66c67a4710ca8fee40f3a0caa3de35e3e908ab9d39109331e3
IEDL.DBID K7-
ISICitedReferencesCount 18
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000796763200001&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 Oct 14 20:26:47 EDT 2025
Sun Nov 30 05:12:01 EST 2025
Sat Nov 29 04:58:37 EST 2025
Tue Nov 18 22:37:04 EST 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 6
Language English
License Distributed under a Creative Commons Attribution 4.0 International License: http://creativecommons.org/licenses/by/4.0
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c352t-9af184258a75f9a66c67a4710ca8fee40f3a0caa3de35e3e908ab9d39109331e3
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ORCID 0000-0002-3344-8237
0000-0002-1841-8996
0000-0001-7256-9560
0000-0001-5574-5673
0000-0002-1613-4631
0000-0002-2700-2271
0000-0002-4595-1518
0000-0002-7583-323X
0000-0001-9782-8135
OpenAccessLink https://www.cambridge.org/core/services/aop-cambridge-core/content/view/3A5329B6E3639879301A6D44346FD1DD/S1471068422000102a.pdf/div-class-title-fifty-years-of-prolog-and-beyond-div.pdf
PQID 2892362676
PQPubID 43613
PageCount 83
ParticipantIDs hal_primary_oai_HAL_hal_03946907v1
proquest_journals_2892362676
crossref_citationtrail_10_1017_S1471068422000102
crossref_primary_10_1017_S1471068422000102
PublicationCentury 2000
PublicationDate 2022-11-00
20221101
2022-11
PublicationDateYYYYMMDD 2022-11-01
PublicationDate_xml – month: 11
  year: 2022
  text: 2022-11-00
PublicationDecade 2020
PublicationPlace Cambridge
PublicationPlace_xml – name: Cambridge
PublicationTitle Theory and practice of logic programming
PublicationYear 2022
Publisher Cambridge University Press
Cambridge University Press (CUP)
Publisher_xml – name: Cambridge University Press
– name: Cambridge University Press (CUP)
References Garcia-Contreras (S1471068422000102_ref157) 2016; 5
Dahl (S1471068422000102_ref117) 1983
Clark (S1471068422000102_ref79) 1986; 1
Ciatto (S1471068422000102_ref77) 2020; 21
Green (S1471068422000102_ref164) 1969
Calegari (S1471068422000102_ref57) 2018
Dahl (S1471068422000102_ref113) 1986; 2
de Raedt (S1471068422000102_ref130) 2016
O’Keefe (S1471068422000102_ref283) 1990
Pereira (S1471068422000102_ref292) 1987
Szeredi (S1471068422000102_ref360) 2004
Pereira (S1471068422000102_ref290) 1983
Sammut (S1471068422000102_ref321) 1983; 2
S1471068422000102_ref72
S1471068422000102_ref272
Riguzzi (S1471068422000102_ref312) 2018
S1471068422000102_ref151
S1471068422000102_ref152
S1471068422000102_ref73
S1471068422000102_ref273
S1471068422000102_ref394
S1471068422000102_ref153
S1471068422000102_ref395
S1471068422000102_ref74
Ramakrishnan (S1471068422000102_ref307) 1993; 2
S1471068422000102_ref274
S1471068422000102_ref275
S1471068422000102_ref396
S1471068422000102_ref75
S1471068422000102_ref154
S1471068422000102_ref390
S1471068422000102_ref270
S1471068422000102_ref391
S1471068422000102_ref70
S1471068422000102_ref392
S1471068422000102_ref150
S1471068422000102_ref71
S1471068422000102_ref155
S1471068422000102_ref276
S1471068422000102_ref76
S1471068422000102_ref156
S1471068422000102_ref277
S1471068422000102_ref398
S1471068422000102_ref399
S1471068422000102_ref278
S1471068422000102_ref78
van Emden (S1471068422000102_ref375) 2006
S1471068422000102_ref279
S1471068422000102_ref158
Moura (S1471068422000102_ref260) 2009
García de la Banda (S1471068422000102_ref159) 2000; 2
Lipton (S1471068422000102_ref229) 2018
S1471068422000102_ref162
S1471068422000102_ref83
S1471068422000102_ref163
S1471068422000102_ref84
S1471068422000102_ref284
S1471068422000102_ref85
S1471068422000102_ref285
S1471068422000102_ref286
S1471068422000102_ref86
S1471068422000102_ref80
S1471068422000102_ref280
S1471068422000102_ref281
S1471068422000102_ref81
S1471068422000102_ref160
S1471068422000102_ref161
S1471068422000102_ref166
S1471068422000102_ref87
S1471068422000102_ref288
S1471068422000102_ref167
S1471068422000102_ref88
S1471068422000102_ref289
S1471068422000102_ref89
S1471068422000102_ref169
S1471068422000102_ref294
S1471068422000102_ref94
S1471068422000102_ref173
S1471068422000102_ref174
S1471068422000102_ref95
S1471068422000102_ref295
S1471068422000102_ref296
S1471068422000102_ref175
S1471068422000102_ref96
S1471068422000102_ref297
S1471068422000102_ref97
S1471068422000102_ref176
S1471068422000102_ref90
S1471068422000102_ref170
S1471068422000102_ref91
S1471068422000102_ref291
S1471068422000102_ref92
S1471068422000102_ref171
S1471068422000102_ref93
S1471068422000102_ref172
S1471068422000102_ref98
S1471068422000102_ref298
S1471068422000102_ref177
S1471068422000102_ref99
S1471068422000102_ref299
S1471068422000102_ref178
S1471068422000102_ref179
Nori (S1471068422000102_ref282) 1974
S1471068422000102_ref184
S1471068422000102_ref185
S1471068422000102_ref186
S1471068422000102_ref187
S1471068422000102_ref180
S1471068422000102_ref181
S1471068422000102_ref182
S1471068422000102_ref183
Sterling (S1471068422000102_ref348) 1994
Panch (S1471068422000102_ref287) 2019
S1471068422000102_ref188
S1471068422000102_ref189
Floridi (S1471068422000102_ref148) 2020; 4
Morales (S1471068422000102_ref254) 2016; 1
S1471068422000102_ref190
S1471068422000102_ref195
S1471068422000102_ref196
S1471068422000102_ref197
S1471068422000102_ref30
S1471068422000102_ref31
S1471068422000102_ref198
S1471068422000102_ref192
S1471068422000102_ref193
S1471068422000102_ref194
S1471068422000102_ref36
S1471068422000102_ref37
S1471068422000102_ref38
Naish (S1471068422000102_ref271) 1986; 238
S1471068422000102_ref39
S1471068422000102_ref32
S1471068422000102_ref199
S1471068422000102_ref34
S1471068422000102_ref35
S1471068422000102_ref40
Blackburn (S1471068422000102_ref33) 2006; 7
S1471068422000102_ref41
S1471068422000102_ref42
Kaufmann (S1471068422000102_ref210) 1995; 2
S1471068422000102_ref47
S1471068422000102_ref48
S1471068422000102_ref49
Johnson (S1471068422000102_ref205) 2019; 2
Moura (S1471068422000102_ref257) 2005
S1471068422000102_ref44
S1471068422000102_ref46
Warren (S1471068422000102_ref393) 1982; 3
Dahl (S1471068422000102_ref112) 1982; 1
S1471068422000102_ref50
S1471068422000102_ref51
S1471068422000102_ref52
S1471068422000102_ref53
Swift (S1471068422000102_ref355) 2009
S1471068422000102_ref59
S1471068422000102_ref54
S1471068422000102_ref55
S1471068422000102_ref61
S1471068422000102_ref63
S1471068422000102_ref64
S1471068422000102_ref60
S1471068422000102_ref69
S1471068422000102_ref65
S1471068422000102_ref66
S1471068422000102_ref67
S1471068422000102_ref68
S1471068422000102_ref313
S1471068422000102_ref314
S1471068422000102_ref315
S1471068422000102_ref316
S1471068422000102_ref310
S1471068422000102_ref311
S1471068422000102_ref317
S1471068422000102_ref318
S1471068422000102_ref319
Apt (S1471068422000102_ref16) 2007
Clocksin (S1471068422000102_ref82) 1981
Boyer (S1471068422000102_ref43) 1972
S1471068422000102_ref203
S1471068422000102_ref324
S1471068422000102_ref325
S1471068422000102_ref204
S1471068422000102_ref326
S1471068422000102_ref327
S1471068422000102_ref320
S1471068422000102_ref200
S1471068422000102_ref201
S1471068422000102_ref322
S1471068422000102_ref202
S1471068422000102_ref323
S1471068422000102_ref328
S1471068422000102_ref207
S1471068422000102_ref329
S1471068422000102_ref208
Hill (S1471068422000102_ref191) 1994
Thom (S1471068422000102_ref367) 1987
S1471068422000102_ref330
S1471068422000102_ref14
S1471068422000102_ref214
S1471068422000102_ref335
S1471068422000102_ref215
S1471068422000102_ref336
S1471068422000102_ref15
S1471068422000102_ref337
S1471068422000102_ref216
S1471068422000102_ref217
S1471068422000102_ref338
S1471068422000102_ref17
S1471068422000102_ref10
S1471068422000102_ref331
S1471068422000102_ref211
S1471068422000102_ref11
S1471068422000102_ref332
S1471068422000102_ref12
S1471068422000102_ref212
S1471068422000102_ref333
S1471068422000102_ref334
S1471068422000102_ref213
S1471068422000102_ref13
S1471068422000102_ref18
S1471068422000102_ref218
S1471068422000102_ref339
S1471068422000102_ref19
S1471068422000102_ref219
S1471068422000102_ref220
S1471068422000102_ref20
S1471068422000102_ref341
S1471068422000102_ref25
S1471068422000102_ref104
S1471068422000102_ref225
S1471068422000102_ref346
S1471068422000102_ref347
S1471068422000102_ref105
S1471068422000102_ref226
S1471068422000102_ref227
S1471068422000102_ref106
S1471068422000102_ref27
S1471068422000102_ref349
S1471068422000102_ref107
S1471068422000102_ref28
S1471068422000102_ref221
S1471068422000102_ref21
S1471068422000102_ref100
S1471068422000102_ref342
S1471068422000102_ref222
S1471068422000102_ref22
S1471068422000102_ref101
S1471068422000102_ref343
S1471068422000102_ref223
S1471068422000102_ref102
S1471068422000102_ref344
S1471068422000102_ref103
S1471068422000102_ref345
S1471068422000102_ref24
S1471068422000102_ref224
S1471068422000102_ref108
S1471068422000102_ref29
S1471068422000102_ref109
S1471068422000102_ref350
S1471068422000102_ref230
S1471068422000102_ref351
S1471068422000102_ref352
S1471068422000102_ref231
S1471068422000102_ref110
Bavarian (S1471068422000102_ref26) 2006
S1471068422000102_ref236
S1471068422000102_ref357
S1471068422000102_ref116
S1471068422000102_ref237
S1471068422000102_ref358
S1471068422000102_ref359
S1471068422000102_ref238
S1471068422000102_ref239
S1471068422000102_ref118
S1471068422000102_ref353
S1471068422000102_ref232
S1471068422000102_ref111
S1471068422000102_ref233
S1471068422000102_ref354
S1471068422000102_ref234
S1471068422000102_ref356
S1471068422000102_ref235
S1471068422000102_ref119
S1471068422000102_ref361
S1471068422000102_ref240
S1471068422000102_ref241
S1471068422000102_ref362
S1471068422000102_ref120
S1471068422000102_ref242
S1471068422000102_ref363
Bratko (S1471068422000102_ref45) 2012
S1471068422000102_ref368
S1471068422000102_ref126
S1471068422000102_ref247
S1471068422000102_ref248
S1471068422000102_ref369
S1471068422000102_ref127
S1471068422000102_ref128
S1471068422000102_ref249
S1471068422000102_ref129
S1471068422000102_ref364
S1471068422000102_ref243
S1471068422000102_ref122
S1471068422000102_ref123
S1471068422000102_ref365
S1471068422000102_ref244
S1471068422000102_ref124
S1471068422000102_ref245
S1471068422000102_ref366
Guidotti (S1471068422000102_ref165) 2019; 5
S1471068422000102_ref125
S1471068422000102_ref246
Pereira (S1471068422000102_ref293) 1978
Elcock (S1471068422000102_ref144) 1990; 1
S1471068422000102_ref371
S1471068422000102_ref250
S1471068422000102_ref251
S1471068422000102_ref372
S1471068422000102_ref373
S1471068422000102_ref252
S1471068422000102_ref131
S1471068422000102_ref253
S1471068422000102_ref374
S1471068422000102_ref132
S1471068422000102_ref370
S1471068422000102_ref258
S1471068422000102_ref137
S1471068422000102_ref379
S1471068422000102_ref259
S1471068422000102_ref138
S1471068422000102_ref139
S1471068422000102_ref133
S1471068422000102_ref134
S1471068422000102_ref376
S1471068422000102_ref255
S1471068422000102_ref135
S1471068422000102_ref256
S1471068422000102_ref377
S1471068422000102_ref378
S1471068422000102_ref136
S1471068422000102_ref140
S1471068422000102_ref382
S1471068422000102_ref261
S1471068422000102_ref383
S1471068422000102_ref262
S1471068422000102_ref141
S1471068422000102_ref384
S1471068422000102_ref263
S1471068422000102_ref142
S1471068422000102_ref264
S1471068422000102_ref385
S1471068422000102_ref143
S1471068422000102_ref380
S1471068422000102_ref381
S1471068422000102_ref269
S1471068422000102_ref149
S1471068422000102_ref386
S1471068422000102_ref265
S1471068422000102_ref387
S1471068422000102_ref266
S1471068422000102_ref145
S1471068422000102_ref146
S1471068422000102_ref388
S1471068422000102_ref267
S1471068422000102_ref147
S1471068422000102_ref389
S1471068422000102_ref268
Bagnara (S1471068422000102_ref23) 2002
Zhou (S1471068422000102_ref410) 2015
Calegari (S1471068422000102_ref58) 2021; 1
Johnson (S1471068422000102_ref206) 1983
Dahl (S1471068422000102_ref121) 1998
Carlsson (S1471068422000102_ref62) 1986
Gupta (S1471068422000102_ref168) 1999
Wenger (S1471068422000102_ref397) 2002
Dahl (S1471068422000102_ref115) 1992
S1471068422000102_ref401
S1471068422000102_ref402
S1471068422000102_ref403
S1471068422000102_ref404
S1471068422000102_ref400
Kacsuk (S1471068422000102_ref209) 1992
S1471068422000102_ref409
S1471068422000102_ref405
S1471068422000102_ref406
S147106
References_xml – ident: S1471068422000102_ref249
  doi: 10.1007/s13347-019-00370-x
– ident: S1471068422000102_ref134
  doi: 10.1007/978-3-642-61411-8
– ident: S1471068422000102_ref335
  doi: 10.1109/TKDE.2015.2405562
– ident: S1471068422000102_ref256
– ident: S1471068422000102_ref2
  doi: 10.1007/978-3-540-24599-5_10
– ident: S1471068422000102_ref118
– ident: S1471068422000102_ref22
– ident: S1471068422000102_ref207
  doi: 10.1007/978-3-319-41540-6_23
– ident: S1471068422000102_ref237
  doi: 10.1007/BFb0012847
– ident: S1471068422000102_ref199
– ident: S1471068422000102_ref176
– ident: S1471068422000102_ref193
  doi: 10.1007/3-540-55844-6_141
– ident: S1471068422000102_ref371
– ident: S1471068422000102_ref369
  doi: 10.1145/3322640.3326705
– ident: S1471068422000102_ref310
  doi: 10.1007/978-1-4684-3384-5_3
– ident: S1471068422000102_ref324
– volume: 2
  start-page: 375
  year: 1986
  ident: S1471068422000102_ref113
  article-title: Gramaticas discontinuas: una herramienta computacional con aplicaciones en la teoria de Reccion y Ligamiento
  publication-title: Revista Argentina de Lingüística 2
– ident: S1471068422000102_ref188
  doi: 10.1007/978-3-642-60085-2_7
– ident: S1471068422000102_ref221
– ident: S1471068422000102_ref333
  doi: 10.1007/978-3-540-27775-0_9
– ident: S1471068422000102_ref171
  doi: 10.1007/978-1-4471-3234-9_12
– volume: 2
  start-page: 499
  year: 2019
  ident: S1471068422000102_ref205
  article-title: Artificial intelligence, machine learning, and bias in finance: Toward responsible innovation
  publication-title: Fordham Law Review 88
– ident: S1471068422000102_ref313
– ident: S1471068422000102_ref259
  doi: 10.1007/978-3-642-02846-5_3
– volume: 4
  start-page: 681
  year: 2020
  ident: S1471068422000102_ref148
  article-title: GPT-3: Its nature, scope, limits, and consequences
  publication-title: Minds and Machines 30
  doi: 10.1007/s11023-020-09548-1
– ident: S1471068422000102_ref325
– ident: S1471068422000102_ref268
– ident: S1471068422000102_ref163
  doi: 10.21236/ADA459656
– ident: S1471068422000102_ref245
– ident: S1471068422000102_ref404
– ident: S1471068422000102_ref156
  doi: 10.1145/356924.356929
– ident: S1471068422000102_ref154
  doi: 10.1007/978-1-4842-1245-5
– ident: S1471068422000102_ref65
  doi: 10.1145/1176760.1176794
– ident: S1471068422000102_ref91
– volume: 3
  start-page: 1
  year: 2020
  ident: S1471068422000102_ref56
  article-title: Logic-based technologies for intelligent systems: State of the art and perspectives
  publication-title: Information 11
– ident: S1471068422000102_ref378
  doi: 10.1145/116825.116838
– ident: S1471068422000102_ref227
  doi: 10.1007/978-3-642-60085-2_16
– ident: S1471068422000102_ref225
  doi: 10.1017/S147106840200145X
– ident: S1471068422000102_ref136
  doi: 10.1017/S1471068411000470
– ident: S1471068422000102_ref152
– ident: S1471068422000102_ref358
  doi: 10.1007/3-540-45402-0_38
– ident: S1471068422000102_ref21
– ident: S1471068422000102_ref331
  doi: 10.1007/978-3-540-89982-2_2
– ident: S1471068422000102_ref311
  doi: 10.1007/978-3-540-74782-6_11
– volume: 1
  start-page: 1
  year: 1990
  ident: S1471068422000102_ref144
  article-title: Absys: The first logic programming language
  publication-title: Journal of Logic Programming 9
– ident: S1471068422000102_ref291
  doi: 10.1016/0004-3702(80)90003-X
– ident: S1471068422000102_ref314
  doi: 10.1145/321250.321253
– ident: S1471068422000102_ref405
  doi: 10.1145/236114.236120
– ident: S1471068422000102_ref80
  doi: 10.1007/978-1-4684-3384-5_11
– ident: S1471068422000102_ref208
– ident: S1471068422000102_ref299
  doi: 10.1016/0004-3702(93)90061-F
– ident: S1471068422000102_ref384
– ident: S1471068422000102_ref120
– ident: S1471068422000102_ref215
  doi: 10.1016/0004-3702(71)90012-9
– ident: S1471068422000102_ref281
– ident: S1471068422000102_ref68
  doi: 10.1007/3-540-45619-8_43
– start-page: 4
  year: 2004
  ident: S1471068422000102_ref360
  article-title: The early days of Prolog in hungary
  publication-title: Association for Logic Programming Newsletter 17
– ident: S1471068422000102_ref300
– volume-title: Prolog Programming for Artificial Intelligence
  year: 2012
  ident: S1471068422000102_ref45
– volume: 1
  start-page: 1
  year: 2016
  ident: S1471068422000102_ref254
  article-title: Description and optimization of abstract machines in a dialect of Prolog
  publication-title: Theory and Practice of Logic Programming 16
– ident: S1471068422000102_ref107
  doi: 10.1017/S1471068411000391
– ident: S1471068422000102_ref233
  doi: 10.1007/BF03037208
– ident: S1471068422000102_ref234
  doi: 10.1145/3428193
– ident: S1471068422000102_ref93
– ident: S1471068422000102_ref186
– volume: 2
  start-page: 125
  year: 1993
  ident: S1471068422000102_ref307
  article-title: A survey of research on deductive database systems
  publication-title: Journal of Logic Programming 23
– start-page: 69
  year: 1983
  ident: S1471068422000102_ref117
  article-title: Treating coordination in logic grammars
  publication-title: Computational Linguistics 9
– ident: S1471068422000102_ref87
  doi: 10.1145/356770.356773
– ident: S1471068422000102_ref34
  doi: 10.1007/978-3-319-67468-1_13
– ident: S1471068422000102_ref347
  doi: 10.1016/S0743-1066(96)00068-4
– ident: S1471068422000102_ref143
– ident: S1471068422000102_ref334
– volume: 2
  start-page: 58
  year: 1983
  ident: S1471068422000102_ref321
  article-title: The implementation of UNSW-PROLOG
  publication-title: Australian Computer Journal 15
– ident: S1471068422000102_ref258
– ident: S1471068422000102_ref235
– ident: S1471068422000102_ref246
  doi: 10.1007/978-3-540-78769-3_11
– ident: S1471068422000102_ref363
  doi: 10.1017/S1471068411000433
– ident: S1471068422000102_ref394
  doi: 10.1145/872734.806939
– volume-title: Implementations of Distributed Prolog
  year: 1992
  ident: S1471068422000102_ref209
– ident: S1471068422000102_ref216
  doi: 10.1007/s00354-015-0103-z
– ident: S1471068422000102_ref270
– ident: S1471068422000102_ref396
– ident: S1471068422000102_ref175
  doi: 10.4204/EPTCS.234.8
– ident: S1471068422000102_ref99
  doi: 10.1145/234286.1057820
– ident: S1471068422000102_ref126
  doi: 10.1023/A:1008328630915
– ident: S1471068422000102_ref250
  doi: 10.1017/CBO9781139021326
– ident: S1471068422000102_ref181
  doi: 10.1016/S0167-8191(00)00051-X
– volume: 21
  year: 2020
  ident: S1471068422000102_ref77
  article-title: From agents to Blockchain: Stairway to integration
  publication-title: Applied Sciences 10
– ident: S1471068422000102_ref24
  doi: 10.1007/3-540-44797-0_2
– ident: S1471068422000102_ref198
– ident: S1471068422000102_ref269
– volume-title: SICStus: Preliminary Specification
  year: 1986
  ident: S1471068422000102_ref62
– ident: S1471068422000102_ref131
– ident: S1471068422000102_ref247
  doi: 10.1007/978-3-642-02846-5_25
– ident: S1471068422000102_ref212
  doi: 10.1145/359131.359136
– ident: S1471068422000102_ref40
  doi: 10.1145/2103736.2103739
– ident: S1471068422000102_ref242
  doi: 10.21236/AD0406138
– ident: S1471068422000102_ref285
  doi: 10.1016/S0167-6423(01)00011-9
– ident: S1471068422000102_ref380
  doi: 10.1109/2.108055
– ident: S1471068422000102_ref128
  doi: 10.1145/185403.185453
– volume: 7
  volume-title: Learn Prolog Now!
  year: 2006
  ident: S1471068422000102_ref33
– start-page: 3
  year: 2005
  ident: S1471068422000102_ref257
  article-title: Prolog portability and standardization
  publication-title: Association for Logic Programming Newsletter 18
– ident: S1471068422000102_ref381
  doi: 10.1007/978-3-642-02846-5_31
– year: 1983
  ident: S1471068422000102_ref206
  article-title: Edinburgh Prolog Tools. Tech. Rep
  publication-title: Note
– ident: S1471068422000102_ref219
  doi: 10.1147/JRD.2012.2184637
– ident: S1471068422000102_ref179
– ident: S1471068422000102_ref73
  doi: 10.1016/j.softx.2021.100817
– ident: S1471068422000102_ref398
  doi: 10.1007/11575467_8
– ident: S1471068422000102_ref294
– ident: S1471068422000102_ref37
  doi: 10.1023/A:1011960831261
– ident: S1471068422000102_ref54
– ident: S1471068422000102_ref241
  doi: 10.7551/mitpress/5625.001.0001
– ident: S1471068422000102_ref12
  doi: 10.1007/978-3-642-40564-8_6
– ident: S1471068422000102_ref386
– ident: S1471068422000102_ref357
  doi: 10.1147/sj.252.0134
– ident: S1471068422000102_ref344
– ident: S1471068422000102_ref286
  doi: 10.1108/10662249810241266
– ident: S1471068422000102_ref385
  doi: 10.1007/978-3-662-49498-1_29
– ident: S1471068422000102_ref400
  doi: 10.1007/978-3-540-88564-1_44
– ident: S1471068422000102_ref132
– ident: S1471068422000102_ref100
  doi: 10.1007/10704567_16
– ident: S1471068422000102_ref61
  doi: 10.1007/BF03037326
– ident: S1471068422000102_ref220
  doi: 10.24963/ijcai.2020/679
– ident: S1471068422000102_ref104
  doi: 10.1017/S1471068413000501
– ident: S1471068422000102_ref172
  doi: 10.1007/11799573_6
– ident: S1471068422000102_ref139
  doi: 10.1007/3-540-19027-9_6
– ident: S1471068422000102_ref306
  doi: 10.1007/BF01228880
– volume: 2
  start-page: 269
  year: 2000
  ident: S1471068422000102_ref159
  article-title: Independence in CLP languages
  publication-title: ACM Transactions on Programming Languages and Systems 22
– ident: S1471068422000102_ref255
  doi: 10.1007/11562931_5
– ident: S1471068422000102_ref359
  doi: 10.1007/11799573_20
– ident: S1471068422000102_ref110
– ident: S1471068422000102_ref147
  doi: 10.1145/1111320.1111059
– ident: S1471068422000102_ref18
  doi: 10.1145/2967973.2968596
– ident: S1471068422000102_ref166
– ident: S1471068422000102_ref30
  doi: 10.18653/v1/2020.acl-main.463
– ident: S1471068422000102_ref96
  doi: 10.1007/978-3-642-76274-1_2
– ident: S1471068422000102_ref102
  doi: 10.1017/S1471068411000512
– ident: S1471068422000102_ref111
– volume-title: Concurrent PROLOG: Collected Papers
  year: 1987
  ident: S1471068422000102_ref340
– ident: S1471068422000102_ref217
– ident: S1471068422000102_ref8
  doi: 10.1007/3-540-54444-5_104
– ident: S1471068422000102_ref55
– ident: S1471068422000102_ref13
  doi: 10.1007/978-3-642-45284-0_13
– ident: S1471068422000102_ref366
– ident: S1471068422000102_ref218
  doi: 10.1145/35043.35046
– ident: S1471068422000102_ref19
  doi: 10.1017/S1471068418000285
– ident: S1471068422000102_ref284
– ident: S1471068422000102_ref387
– ident: S1471068422000102_ref123
– ident: S1471068422000102_ref320
– ident: S1471068422000102_ref44
– volume-title: Synthesis Lectures on Artificial Intelligence and Machine Learning
  year: 2016
  ident: S1471068422000102_ref130
– ident: S1471068422000102_ref6
– volume: 5
  start-page: 721
  year: 2016
  ident: S1471068422000102_ref157
  article-title: Semantic code browsing
  publication-title: Theory and Practice of Logic Programming, ICLP 2016 Special Issue 16
– ident: S1471068422000102_ref89
– ident: S1471068422000102_ref200
  doi: 10.1145/41625.41635
– ident: S1471068422000102_ref28
  doi: 10.1007/978-3-540-77442-6_13
– ident: S1471068422000102_ref262
  doi: 10.1016/0743-1066(94)90035-3
– ident: S1471068422000102_ref145
– ident: S1471068422000102_ref151
  doi: 10.1007/s10994-013-5392-1
– ident: S1471068422000102_ref170
  doi: 10.1007/978-3-642-22944-2_4
– ident: S1471068422000102_ref122
– start-page: 1500
  year: 2006
  ident: S1471068422000102_ref26
  article-title: Constraint based methods for biological sequence analysis
  publication-title: Journal of Universal Computer Science 12
– ident: S1471068422000102_ref35
  doi: 10.1007/3-540-16492-8_107
– ident: S1471068422000102_ref238
– ident: S1471068422000102_ref224
  doi: 10.1007/978-3-030-63461-2_4
– ident: S1471068422000102_ref69
  doi: 10.1007/11562931_14
– ident: S1471068422000102_ref354
– ident: S1471068422000102_ref301
  doi: 10.1007/10722311_3
– ident: S1471068422000102_ref66
  doi: 10.1109/69.542027
– ident: S1471068422000102_ref76
  doi: 10.1007/978-3-030-24209-1_3
– ident: S1471068422000102_ref266
  doi: 10.1016/0004-3702(84)90017-1
– ident: S1471068422000102_ref253
  doi: 10.1145/1389449.1389455
– ident: S1471068422000102_ref155
  doi: 10.1007/978-3-540-27775-0_3
– ident: S1471068422000102_ref67
– ident: S1471068422000102_ref190
– ident: S1471068422000102_ref252
  doi: 10.1007/978-3-540-24836-1_7
– ident: S1471068422000102_ref343
– ident: S1471068422000102_ref7
– ident: S1471068422000102_ref11
  doi: 10.1007/978-3-642-24206-9_1
– ident: S1471068422000102_ref351
  doi: 10.1007/978-3-319-73305-0_7
– ident: S1471068422000102_ref382
  doi: 10.1007/978-3-540-27775-0_30
– ident: S1471068422000102_ref308
  doi: 10.1007/3-540-63255-7_33
– ident: S1471068422000102_ref20
  doi: 10.1145/1238844.1238850
– ident: S1471068422000102_ref231
  doi: 10.1017/S1471068418000042
– ident: S1471068422000102_ref408
  doi: 10.4204/EPTCS.345.30
– ident: S1471068422000102_ref365
– ident: S1471068422000102_ref230
  doi: 10.1017/S1471068411000068
– ident: S1471068422000102_ref50
  doi: 10.1145/316686.316688
– ident: S1471068422000102_ref97
– ident: S1471068422000102_ref124
– ident: S1471068422000102_ref388
– ident: S1471068422000102_ref342
– ident: S1471068422000102_ref248
  doi: 10.1007/3-540-45789-5_35
– start-page: 2
  year: 2019
  ident: S1471068422000102_ref287
  article-title: Artificial intelligence and algorithmic bias: implications for health systems
  publication-title: Journal of Global Health 9
– ident: S1471068422000102_ref403
  doi: 10.1017/S1471068411000494
– ident: S1471068422000102_ref158
  doi: 10.1007/3-540-61756-6_78
– ident: S1471068422000102_ref182
– ident: S1471068422000102_ref74
  doi: 10.1007/978-3-030-75775-5_27
– ident: S1471068422000102_ref406
  doi: 10.1017/S1471068405002590
– ident: S1471068422000102_ref101
  doi: 10.1007/978-3-540-69611-7_12
– ident: S1471068422000102_ref142
  doi: 10.1145/362007.362035
– start-page: 1
  year: 2009
  ident: S1471068422000102_ref260
  article-title: Uniting the Prolog community: Personal notes
  publication-title: Association for Logic Programming Newsletter 22
– ident: S1471068422000102_ref295
  doi: 10.1145/1363686.1363739
– ident: S1471068422000102_ref183
  doi: 10.1016/j.scico.2005.02.006
– ident: S1471068422000102_ref383
  doi: 10.1007/3-540-49201-1_26
– ident: S1471068422000102_ref36
  doi: 10.1145/1929501.1929508
– ident: S1471068422000102_ref70
  doi: 10.1145/3191315.3191325
– ident: S1471068422000102_ref322
  doi: 10.1017/S1471068421000430
– volume: 1
  start-page: 1
  year: 1986
  ident: S1471068422000102_ref79
  article-title: PARLOG: Parallel programming in logic
  publication-title: Transactions on Programming Languages and Systems 8
– ident: S1471068422000102_ref85
– ident: S1471068422000102_ref204
– ident: S1471068422000102_ref27
  doi: 10.1007/BF00881804
– volume: 1
  start-page: 102
  year: 1982
  ident: S1471068422000102_ref112
  article-title: On database systems development through logic
  publication-title: Transactions on Database Systems 7
  doi: 10.1145/319682.319700
– ident: S1471068422000102_ref402
  doi: 10.1017/S1471068418000522
– ident: S1471068422000102_ref59
  doi: 10.3233/IA-190036
– ident: S1471068422000102_ref336
  doi: 10.1145/3019612.3019642
– volume-title: SpringerBriefs in Intelligent Systems
  year: 2015
  ident: S1471068422000102_ref410
– ident: S1471068422000102_ref141
  doi: 10.1017/S1471068422000059
– ident: S1471068422000102_ref274
– volume-title: The Art of Prolog: Advanced Programming Techniques
  year: 1994
  ident: S1471068422000102_ref348
– ident: S1471068422000102_ref203
– ident: S1471068422000102_ref195
  doi: 10.1145/1989323.1989456
– ident: S1471068422000102_ref146
– ident: S1471068422000102_ref364
– volume-title: The Java Virtual Machine Specification (Java SE 17 Edition)
  year: 2021
  ident: S1471068422000102_ref228
– ident: S1471068422000102_ref319
  doi: 10.1145/191843.191927
– ident: S1471068422000102_ref263
  doi: 10.1016/S0743-1066(98)10022-5
– ident: S1471068422000102_ref38
  doi: 10.1007/978-3-642-24206-9_2
– ident: S1471068422000102_ref389
– ident: S1471068422000102_ref251
– ident: S1471068422000102_ref194
– ident: S1471068422000102_ref201
  doi: 10.1016/0743-1066(94)90033-7
– ident: S1471068422000102_ref51
  doi: 10.1016/0743-1066(94)90032-9
– ident: S1471068422000102_ref135
– ident: S1471068422000102_ref353
– ident: S1471068422000102_ref296
– ident: S1471068422000102_ref240
– ident: S1471068422000102_ref273
  doi: 10.1007/978-3-540-74970-7_38
– ident: S1471068422000102_ref52
– volume: 238
  volume-title: Lecture Notes in Computer Science
  year: 1986
  ident: S1471068422000102_ref271
– volume-title: The Craft of Prolog
  year: 1990
  ident: S1471068422000102_ref283
– ident: S1471068422000102_ref390
– ident: S1471068422000102_ref239
  doi: 10.1007/978-3-642-60085-2_17
– ident: S1471068422000102_ref401
  doi: 10.1017/S1471068407003237
– ident: S1471068422000102_ref214
– ident: S1471068422000102_ref3
– ident: S1471068422000102_ref41
– ident: S1471068422000102_ref64
– ident: S1471068422000102_ref352
– ident: S1471068422000102_ref346
  doi: 10.1007/BF03037470
– ident: S1471068422000102_ref399
  doi: 10.1007/978-3-642-18378-2_8
– ident: S1471068422000102_ref75
– ident: S1471068422000102_ref379
  doi: 10.1016/0743-1066(94)90031-0
– start-page: 276
  volume-title: Formal Linguistics: Theory and Practice
  year: 1992
  ident: S1471068422000102_ref115
– ident: S1471068422000102_ref119
  doi: 10.1007/BF00985271
– ident: S1471068422000102_ref407
  doi: 10.1017/S1471068411000445
– ident: S1471068422000102_ref302
  doi: 10.1007/10722311_2
– ident: S1471068422000102_ref395
  doi: 10.1007/978-0-387-35358-6_3
– ident: S1471068422000102_ref341
– volume: 3
  start-page: 110
  year: 1982
  ident: S1471068422000102_ref393
  article-title: An efficient easily adaptable system for interpreting natural language queries
  publication-title: Computational Linguistics 8
– ident: S1471068422000102_ref160
– ident: S1471068422000102_ref137
– ident: S1471068422000102_ref298
– ident: S1471068422000102_ref174
  doi: 10.1007/BFb0033854
– ident: S1471068422000102_ref374
  doi: 10.1093/comjnl/33.6.494
– ident: S1471068422000102_ref88
  doi: 10.1145/35043.35045
– volume: 5
  start-page: 1
  year: 2019
  ident: S1471068422000102_ref165
  article-title: A survey of methods for explaining Black Box models
  publication-title: Computing Surveys 51
– ident: S1471068422000102_ref103
– ident: S1471068422000102_ref315
  doi: 10.1017/S1471068404002030
– ident: S1471068422000102_ref32
  doi: 10.1016/j.patter.2021.100205
– ident: S1471068422000102_ref226
  doi: 10.1007/s10009-007-0063-9
– volume: 2
  start-page: 27
  year: 1995
  ident: S1471068422000102_ref210
  article-title: The Boyer-Moore theorem prover and its interactive enhancement
  publication-title: Computers and Mathematics with Applications 29
– ident: S1471068422000102_ref31
  doi: 10.1147/sj.314.0755
– ident: S1471068422000102_ref264
– ident: S1471068422000102_ref323
  doi: 10.1007/978-3-540-74610-2_27
– ident: S1471068422000102_ref297
– ident: S1471068422000102_ref318
– ident: S1471068422000102_ref86
  doi: 10.1016/0743-1066(95)00121-2
– ident: S1471068422000102_ref53
– ident: S1471068422000102_ref98
– ident: S1471068422000102_ref222
  doi: 10.1145/1149114.1149117
– ident: S1471068422000102_ref391
– ident: S1471068422000102_ref125
– ident: S1471068422000102_ref329
  doi: 10.1017/S1471068411000469
– ident: S1471068422000102_ref42
– volume-title: User’s Guide to DECsystem-10 Prolog
  year: 1978
  ident: S1471068422000102_ref293
– ident: S1471068422000102_ref345
  doi: 10.1007/11799573_25
– start-page: 3
  year: 2018
  ident: S1471068422000102_ref57
  article-title: LPaaS as micro-intelligence: Enhancing IoT with symbolic reasoning
  publication-title: Big Data and Cognitive Computing 2
– ident: S1471068422000102_ref14
– ident: S1471068422000102_ref106
  doi: 10.1145/512950.512973
– ident: S1471068422000102_ref4
– ident: S1471068422000102_ref169
  doi: 10.1145/504083.504085
– volume-title: NU-Prolog Reference Manual
  year: 1987
  ident: S1471068422000102_ref367
– volume-title: Prolog and Natural-Language Analysis
  year: 1987
  ident: S1471068422000102_ref292
– ident: S1471068422000102_ref362
  doi: 10.1007/3-540-55844-6_158
– ident: S1471068422000102_ref272
  doi: 10.1145/773184.773191
– ident: S1471068422000102_ref332
  doi: 10.1017/S1471068413000331
– ident: S1471068422000102_ref309
  doi: 10.1145/2775051.2676971
– ident: S1471068422000102_ref338
  doi: 10.1145/153520.153534
– ident: S1471068422000102_ref373
  doi: 10.1007/3-540-16479-0_17
– ident: S1471068422000102_ref261
  doi: 10.1007/978-3-642-20589-7_4
– ident: S1471068422000102_ref279
  doi: 10.1023/A:1018930122475
– ident: S1471068422000102_ref178
  doi: 10.1007/3-540-59155-9_15
– ident: S1471068422000102_ref280
  doi: 10.2307/j.ctt1pwt9w5
– ident: S1471068422000102_ref211
  doi: 10.3115/991566.991575
– ident: S1471068422000102_ref316
– ident: S1471068422000102_ref138
  doi: 10.1007/3-540-46584-7_6
– ident: S1471068422000102_ref5
  doi: 10.7551/mitpress/7160.001.0001
– ident: S1471068422000102_ref288
– ident: S1471068422000102_ref60
– ident: S1471068422000102_ref48
– ident: S1471068422000102_ref196
– ident: S1471068422000102_ref185
– ident: S1471068422000102_ref71
– ident: S1471068422000102_ref81
  doi: 10.1007/978-3-642-58274-5
– ident: S1471068422000102_ref129
  doi: 10.24963/ijcai.2020/688
– ident: S1471068422000102_ref63
  doi: 10.1017/S1471068411000482
– ident: S1471068422000102_ref392
– ident: S1471068422000102_ref167
  doi: 10.1007/978-3-540-74610-2_4
– volume-title: Constraint Logic Programming Using ECLiPSe
  year: 2007
  ident: S1471068422000102_ref16
– ident: S1471068422000102_ref150
  doi: 10.1016/B978-0-934613-53-8.50041-8
– ident: S1471068422000102_ref192
  doi: 10.1007/3-540-48958-4_13
– ident: S1471068422000102_ref305
– ident: S1471068422000102_ref197
– ident: S1471068422000102_ref361
  doi: 10.1007/3-540-16492-8_66
– ident: S1471068422000102_ref161
– ident: S1471068422000102_ref368
  doi: 10.1145/384281.808230
– volume: 1
  year: 2021
  ident: S1471068422000102_ref58
  article-title: Logic-based technologies for multi-agent systems: A systematic literature review
  publication-title: Autonomous Agents and Multi-Agent Systems 35
– ident: S1471068422000102_ref328
– ident: S1471068422000102_ref133
  doi: 10.1007/3-540-45241-9_13
– ident: S1471068422000102_ref223
  doi: 10.1145/1389449.1389450
– ident: S1471068422000102_ref327
  doi: 10.1007/978-94-017-0437-3_7
– year: 1999
  ident: S1471068422000102_ref168
  article-title: Extended dynamic dependent and-parallelism in ACE
  publication-title: Journal of Functional and Logic Programming 99
– ident: S1471068422000102_ref72
– ident: S1471068422000102_ref267
  doi: 10.1007/3-540-44716-4_1
– ident: S1471068422000102_ref109
  doi: 10.24963/ijcai.2021/600
– ident: S1471068422000102_ref10
  doi: 10.1007/BF01407834
– ident: S1471068422000102_ref339
– ident: S1471068422000102_ref108
  doi: 10.24963/ijcai.2020/673
– ident: S1471068422000102_ref276
– ident: S1471068422000102_ref187
  doi: 10.1017/S1471068411000457
– ident: S1471068422000102_ref83
– ident: S1471068422000102_ref330
  doi: 10.1007/978-3-540-89982-2_59
– start-page: 26
  year: 1998
  ident: S1471068422000102_ref121
  article-title: From assumptions to meaning
  publication-title: Canadian Artificial Intelligence 42
– ident: S1471068422000102_ref153
  doi: 10.1017/CBO9780511609886
– start-page: 3
  year: 2018
  ident: S1471068422000102_ref229
  article-title: The Mythos of model interpretability
  publication-title: Queue 16
– ident: S1471068422000102_ref180
  doi: 10.1007/3-540-16492-8_62
– ident: S1471068422000102_ref213
  doi: 10.1007/978-3-642-40564-8_2
– ident: S1471068422000102_ref265
– ident: S1471068422000102_ref94
– ident: S1471068422000102_ref49
– start-page: 2
  year: 2002
  ident: S1471068422000102_ref23
  article-title: Foreign language interfaces for Prolog: A terse survey
  publication-title: Association for Logic Programming Newsletter 15
– volume-title: Berichte des Instituts für Informatik
  year: 1974
  ident: S1471068422000102_ref282
– volume-title: The Gödel Programming Language
  year: 1994
  ident: S1471068422000102_ref191
– ident: S1471068422000102_ref236
  doi: 10.1145/3191315.3191317
– ident: S1471068422000102_ref78
  doi: 10.1007/978-3-030-51924-7_1
– ident: S1471068422000102_ref84
– ident: S1471068422000102_ref289
– ident: S1471068422000102_ref317
  doi: 10.1145/3386333
– ident: S1471068422000102_ref243
– ident: S1471068422000102_ref326
– ident: S1471068422000102_ref349
– ident: S1471068422000102_ref15
  doi: 10.1145/1721654.1721675
– ident: S1471068422000102_ref202
  doi: 10.1145/129393.129398
– ident: S1471068422000102_ref140
– ident: S1471068422000102_ref376
  doi: 10.1145/321978.321991
– ident: S1471068422000102_ref105
  doi: 10.1145/109626.109635
– ident: S1471068422000102_ref337
– ident: S1471068422000102_ref278
– ident: S1471068422000102_ref232
– start-page: 101
  year: 1972
  ident: S1471068422000102_ref43
  article-title: The sharing structure in theorem-proving programs
  publication-title: Machine Intelligence 7
– volume-title: Foundations of Probabilistic Logic Programming
  year: 2018
  ident: S1471068422000102_ref312
– ident: S1471068422000102_ref47
  doi: 10.1609/aimag.v37i3.2669
– ident: S1471068422000102_ref350
  doi: 10.1016/0304-3975(92)90168-F
– ident: S1471068422000102_ref303
– ident: S1471068422000102_ref409
– ident: S1471068422000102_ref116
– start-page: 1
  year: 2009
  ident: S1471068422000102_ref355
  article-title: Prolog-commons working group report
  publication-title: Association for Logic Programming Newsletter 22
– ident: S1471068422000102_ref149
  doi: 10.1145/321420.321422
– ident: S1471068422000102_ref372
– ident: S1471068422000102_ref177
  doi: 10.1007/3-540-16492-8_117
– ident: S1471068422000102_ref173
  doi: 10.1145/24697.24709
– ident: S1471068422000102_ref46
  doi: 10.1145/2043174.2043195
– volume: 2
  start-page: 131
  year: 1990
  ident: S1471068422000102_ref114
  article-title: Describing linguistic knowledge about constraints in user-friendly ways
  publication-title: International Journal of Expert Systems: Research and Applications 3
– ident: S1471068422000102_ref277
– ident: S1471068422000102_ref29
  doi: 10.1016/0895-7177(94)90127-9
– ident: S1471068422000102_ref92
  doi: 10.1051/ita/1979130403091
– start-page: 3
  year: 2006
  ident: S1471068422000102_ref375
  article-title: The early days of logic programming: A personal perspective
  publication-title: The Association of Logic Programming Newsletter 19
– ident: S1471068422000102_ref9
  doi: 10.1109/TC.1978.1675141
– ident: S1471068422000102_ref184
– ident: S1471068422000102_ref370
  doi: 10.1007/978-3-642-29822-6_24
– ident: S1471068422000102_ref356
  doi: 10.1017/S1471068411000500
– volume-title: Cultivating Communities of Practice: A Guide to Managing Knowledge
  year: 2002
  ident: S1471068422000102_ref397
– ident: S1471068422000102_ref95
– ident: S1471068422000102_ref189
  doi: 10.1007/3-540-58601-6_95
– ident: S1471068422000102_ref377
  doi: 10.1016/0743-1066(84)90001-3
– ident: S1471068422000102_ref25
  doi: 10.1016/j.websem.2009.12.003
– ident: S1471068422000102_ref1
  doi: 10.1007/978-1-4612-3640-5
– ident: S1471068422000102_ref304
– volume-title: C-Prolog User’s Manual
  year: 1983
  ident: S1471068422000102_ref290
– ident: S1471068422000102_ref244
– ident: S1471068422000102_ref162
– volume-title: Programming in Prolog
  year: 1981
  ident: S1471068422000102_ref82
– ident: S1471068422000102_ref127
  doi: 10.1017/S1471068421000211
– ident: S1471068422000102_ref17
  doi: 10.1145/374308.374325
– ident: S1471068422000102_ref275
  doi: 10.1007/978-1-4471-3234-9_15
– volume-title: Outstanding Dissertations in the Computer Sciences
  year: 1969
  ident: S1471068422000102_ref164
– ident: S1471068422000102_ref39
– ident: S1471068422000102_ref90
  doi: 10.1145/321556.321559
SSID ssj0016324
Score 2.4684622
Snippet Both logic programming in general and Prolog in particular have a long and fascinating history, intermingled with that of many disciplines they inherited from...
Abstract Both logic programming in general and Prolog in particular have a long and fascinating history, intermingled with that of many disciplines they...
SourceID hal
proquest
crossref
SourceType Open Access Repository
Aggregation Database
Enrichment Source
Index Database
StartPage 776
SubjectTerms Computer Science
Evolution
History
Logic programming
Programming languages
Prolog
Title Fifty Years of Prolog and Beyond
URI https://www.proquest.com/docview/2892362676
https://paris1.hal.science/hal-03946907
Volume 22
WOSCitedRecordID wos000796763200001&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 Database
  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/eLvHCXMwpV3dS8MwED90-uCL8xOncwTxSQg2TbskTzJlY6CMISrTl5LlAwey6TYF_3t7XTpBwRdfSrmm0OYul9zX7wBOmVVaN5ueauZimug0oVIbR4c6kkbp2LGiPPrhRvR6cjBQ_eBwm4W0ylInForaTgz6yM9zwyBG6BTRvHh9o9g1CqOroYXGKqyxOGYo59eCLqMICEVeVBcJzO6RSRnVRMhoJCItxloVFrwq5b60-oxZkT-Uc7HjdKr__dYt2AxnTdJaCMc2rLjxDlTLPg4kLOtdIJ2Rn3-Sx1zoZ2TiSX-KGpHosSWLApc9uO-07666NHROoCY_UM2p0p5hfE1qkXqV88I0hcYfNlp655LIc53fa24dTx13KpJ6qCxXCC7FmeP7UBlPxu4AiMxtQsGMcEIOkyS1Qy8sY17w1ErrUlODqJy3zARYcexu8ZIt8sdE9muqa3C2fOV1ganx1-CTnBnLcYiG3W3dZEiLuCqM-w9Wg3rJiCyswVn2zYXDvx8fwUaMRQ1FhWEdKvPpuzuGdfMxH82mDVi7bPf6t41CtPJrP336Atx4z-s
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LSwMxEB58gV58i_UZRC_C4maz2yQHEVFLxVp6UFEva5oHCtJqWxX_lL_RzD4qKHjz4G3JZpew3-zkMfN9A7BNjVSqWnWBojYKYpXEgVDaBm0VCi1VZGlGj75q8GZTXF_L1gh8lFwYTKssfWLmqE1X4xn5nt8YRCidwqsHT88BVo3C6GpZQiM3izP7_ua3bP3902OP704U1U4ujupBUVUg0H6xMQikchRjT0LxxEk_Tl3lyrvoUCvhrI1Dx5S_VsxYllhmZShUWxomUXiJUcv8e0dhPI79Zsn_P63kdhi1QOnzjM3EMZtIxGUUFSWqsRHbIuTG0OIUp5wHR-8xC_PbZJDNcLWZ__ZtZmG6WEuTw9z452DEduZhpqxTQQq3tQCk9uAG7-TGj7BPuo60eujxieoYkhN4FuHyT8a5BGOdbscuAxEeRk41t1y04zgxbccNpY6zxAhjE12BsMQp1YVsOlbveEzz_Die_oC2ArvDR55yzZDfOm958If9UO27fthIsS1kMju8eKUVWCuBTwsf00-_UF_5_fYmTNYvzhtp47R5tgpTERI4MjblGowNei92HSb06-Ch39vIzJnA3V_byCftvirl
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=Fifty+Years+of+Prolog+and+Beyond&rft.jtitle=Theory+and+practice+of+logic+programming&rft.au=K%C3%96RNER%2C+PHILIPP&rft.au=LEUSCHEL%2C+MICHAEL&rft.au=BARBOSA%2C+JO%C3%83O&rft.au=COSTA%2C+V%C3%8DTOR+SANTOS&rft.date=2022-11-01&rft.issn=1471-0684&rft.eissn=1475-3081&rft.volume=22&rft.issue=6&rft.spage=776&rft.epage=858&rft_id=info:doi/10.1017%2FS1471068422000102&rft.externalDBID=n%2Fa&rft.externalDocID=10_1017_S1471068422000102
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