Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages

Programming environments have evolved from purely text based to using graphical user interfaces, and now we see a move toward web-based interfaces, such as Jupyter. Web-based interfaces allow for the creation of interactive documents that consist of text and programs, as well as their output. The ou...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theory and practice of logic programming Jg. 19; H. 2; S. 229 - 261
Hauptverfasser: WIELEMAKER, JAN, RIGUZZI, FABRIZIO, KOWALSKI, ROBERT A., LAGER, TORBJÖRN, SADRI, FARIBA, CALEJO, MIGUEL
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Cambridge, UK Cambridge University Press 01.03.2019
Schlagworte:
2007
Applications programs
Computer Science
Data analysis
Graphical user interface
Human Computer Interaction
ijcai
inference
Logic programming
logic programming system
Människa-datorinteraktion (interaktionsdesign)
notebook interface
Original Article
p2462
Programming environments
programs
Prolog
raedt l
Science & Technology - Other Topics
Servers
Software reviews
Special Issue on User-Oriented Logic Programming and Reasoning Paradigms
web
Websites
Prolog
notebook interface
web
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 Programming environments have evolved from purely text based to using graphical user interfaces, and now we see a move toward web-based interfaces, such as Jupyter. Web-based interfaces allow for the creation of interactive documents that consist of text and programs, as well as their output. The output can be rendered using web technology as, for example, text, tables, charts, or graphs. This approach is particularly suitable for capturing data analysis workflows and creating interactive educational material. This article describes SWISH, a web front-end for Prolog that consists of a web server implemented in SWI-Prolog and a client web application written in JavaScript. SWISH provides a web server where multiple users can manipulate and run the same material, and it can be adapted to support Prolog extensions. In this article we describe the architecture of SWISH, and describe two case studies of extensions of Prolog, namely Probabilistic Logic Programming and Logic Production System, which have used SWISH to provide tutorial sites.
AbstractList Programming environments have evolved from purely text based to using graphical user interfaces, and now we see a move toward web-based interfaces, such as Jupyter. Web-based interfaces allow for the creation of interactive documents that consist of text and programs, as well as their output. The output can be rendered using web technology as, for example, text, tables, charts, or graphs. This approach is particularly suitable for capturing data analysis workflows and creating interactive educational material. This article describes SWISH, a web front-end for Prolog that consists of a web server implemented in SWI-Prolog and a client web application written in JavaScript. SWISH provides a web server where multiple users can manipulate and run the same material, and it can be adapted to support Prolog extensions. In this article we describe the architecture of SWISH, and describe two case studies of extensions of Prolog, namely Probabilistic Logic Programming and Logic Production System, which have used SWISH to provide tutorial sites.
Author CALEJO, MIGUEL
SADRI, FARIBA
WIELEMAKER, JAN
LAGER, TORBJÖRN
KOWALSKI, ROBERT A.
RIGUZZI, FABRIZIO
Author_xml – sequence: 1
  givenname: JAN
  orcidid: 0000-0001-5574-5673
  surname: WIELEMAKER
  fullname: WIELEMAKER, JAN
  email: J.Wielemaker@cwi.nl
  organization: Centrum Wiskunde & Informatica, Amsterdam, Netherlands (e-mail: J.Wielemaker@cwi.nl)
– sequence: 2
  givenname: FABRIZIO
  orcidid: 0000-0003-1654-9703
  surname: RIGUZZI
  fullname: RIGUZZI, FABRIZIO
  email: fabrizio.riguzzi@unife.it
  organization: Department of Mathematics and Computer Science, University of Ferrara (e-mail: fabrizio.riguzzi@unife.it)
– sequence: 3
  givenname: ROBERT A.
  surname: KOWALSKI
  fullname: KOWALSKI, ROBERT A.
  email: r.kowalski@imperial.ac.uk
  organization: Imperial College, London, UK (e-mail: r.kowalski@imperial.ac.uk)
– sequence: 4
  givenname: TORBJÖRN
  surname: LAGER
  fullname: LAGER, TORBJÖRN
  email: lager@ling.gu.se
  organization: University of Gothenburg, Gothenburg, Sweden (e-mail: lager@ling.gu.se)
– sequence: 5
  givenname: FARIBA
  surname: SADRI
  fullname: SADRI, FARIBA
  email: fs@doc.ic.ac.uk
  organization: Imperial College, London, UK (e-mail: fs@doc.ic.ac.uk)
– sequence: 6
  givenname: MIGUEL
  surname: CALEJO
  fullname: CALEJO, MIGUEL
  email: mc@logicalcontracts.com
  organization: Logical Contracts, Lisbon, Portugal (e-mail: mc@logicalcontracts.com)
BackLink https://gup.ub.gu.se/publication/278603$$DView record from Swedish Publication Index (Göteborgs universitet)
BookMark eNp9kF1LwzAUhoNMcE5_gHcFr6tJ069cylA3KChuY5chTU9KxtbMJFX015u5iaDoVcI5zxPevKdo0JkOELog-IpgUlzPSFoQnJcpKTHGWZIcoWEYZTHFJRl83km825-gU-dWGJOcJukQPS6c7tpotpzOJpE30ROItX6HaNp5sEJ6_QLREuq4Fg6aaN57Y7VYu0gZG1Wm1fKwqUTX9qIFd4aOVQDg_HCO0OLudj6exNXD_XR8U8WSstLHTaYYSetcFplKshRY2VAlC4FlkiqRlWn4VM2oaBQTLMNAZV6UOSEsx6AoAzpC8f5d9wrbvuZbqzfCvnEjNG_7LQ-jtucOeBI8TAN_uee31jz34Dxfmd52ISJPQmcsIwVmgSr2lLTGOQuKS-2F16bzVug1J5jv6ua_6g4m-WF-JfrPoQdHbGqrmxa-Q_1tfQDvyJFW
CitedBy_id crossref_primary_10_1007_s10506_021_09295_3
crossref_primary_10_1017_S1471068418000510
crossref_primary_10_1017_S147106842100051X
crossref_primary_10_1017_S1471068422000102
Cites_doi 10.1017/S1471068413000689
10.1007/978-3-540-27775-0_30
10.1017/S1471068416000041
10.1017/S1471068414000076
10.3233/IDA-130582
10.1007/BF03037383
10.1007/s10994-015-5510-3
10.3233/IA-170106
10.1017/S1471068411000664
10.1201/b15100
10.1145/5689.5920
10.1007/3-540-44957-4_47
10.3233/FI-2013-847
10.1007/978-3-319-23461-8_37
10.1007/s00354-015-0103-z
10.1007/s10994-015-5494-z
10.1093/comjnl/27.2.97
10.1016/0004-3702(95)00122-0
ContentType Journal Article
Copyright Copyright © Cambridge University Press 2019
Copyright_xml – notice: Copyright © Cambridge University Press 2019
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/S1471068418000522
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
Technology collection
ProQuest One Community College
ProQuest Central Korea
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)
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 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
DocumentTitleAlternate J. Wielemaker et al.
Using SWISH to Realize Interactive Web-based Tutorials
EISSN 1475-3081
EndPage 261
ExternalDocumentID oai_gup_ub_gu_se_278603
10_1017_S1471068418000522
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
AAFUK
AAGFV
AAKTX
AANRG
AARAB
AASVR
AAUKB
AAYOK
ABBXD
ABITZ
ABJNI
ABKKG
ABMWE
ABQTM
ABQWD
ABROB
ABTCQ
ABUWG
ABVKB
ABVZP
ABZCX
ACAJB
ACBMC
ACDLN
ACGFS
ACIMK
ACNCT
ACUIJ
ACYZP
ACZBM
ACZUX
ACZWT
ADCGK
ADDNB
ADFEC
ADKIL
ADOVH
ADVJH
AEBAK
AEHGV
AEMTW
AENEX
AENGE
AEYYC
AFFUJ
AFKQG
AFKRA
AFLOS
AFLVW
AFUTZ
AFZFC
AGABE
AGBYD
AGJUD
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
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
WYP
ZYDXJ
AAYXX
ABGDZ
ABXHF
AFFHD
AKMAY
CITATION
IPYYG
PHGZM
PHGZT
PQGLB
7SC
7XB
8AL
8FD
8FK
JQ2
L7M
L~C
L~D
PKEHL
PQEST
PQUKI
PRINS
Q9U
ADTPV
AOWAS
F1U
ID FETCH-LOGICAL-c398t-d5f914b6c75f254e98d3fc7a0c24fa584017b93adf9a950e3c678611960ef39e3
IEDL.DBID K7-
ISICitedReferencesCount 6
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000458807300004&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:47:12 EST 2025
Sun Jul 13 04:29:04 EDT 2025
Tue Nov 18 22:10:24 EST 2025
Sat Nov 29 04:58:36 EST 2025
Tue Jan 21 06:21:57 EST 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 2
Keywords Prolog
notebook interface
web
logic programming system
Language English
License https://www.cambridge.org/core/terms
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c398t-d5f914b6c75f254e98d3fc7a0c24fa584017b93adf9a950e3c678611960ef39e3
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ORCID 0000-0001-5574-5673
0000-0003-1654-9703
OpenAccessLink http://hdl.handle.net/10044/1/65240
PQID 2180951709
PQPubID 43613
PageCount 33
ParticipantIDs swepub_primary_oai_gup_ub_gu_se_278603
proquest_journals_2180951709
crossref_citationtrail_10_1017_S1471068418000522
crossref_primary_10_1017_S1471068418000522
cambridge_journals_10_1017_S1471068418000522
PublicationCentury 2000
PublicationDate 2019-03-01
PublicationDateYYYYMMDD 2019-03-01
PublicationDate_xml – month: 03
  year: 2019
  text: 2019-03-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 2019
Publisher Cambridge University Press
Publisher_xml – name: Cambridge University Press
References Nguembang Fadja (S1471068418000522_ref19) 2017
Blackburn (S1471068418000522_ref4) 2006
Riguzzi (S1471068418000522_ref21) 2016; 46
Riguzzi (S1471068418000522_ref20) 2013; 124
Wielemaker (S1471068418000522_ref30) 2008; 8
S1471068418000522_ref28
Wielemaker (S1471068418000522_ref29) 2007
S1471068418000522_ref2
S1471068418000522_ref24
S1471068418000522_ref3
S1471068418000522_ref25
S1471068418000522_ref26
S1471068418000522_ref27
S1471068418000522_ref6
S1471068418000522_ref7
S1471068418000522_ref8
S1471068418000522_ref22
S1471068418000522_ref9
Gandrud (S1471068418000522_ref13) 2013
Byrd (S1471068418000522_ref5) 1980
Rossant (S1471068418000522_ref23) 2013
S1471068418000522_ref1
Lager (S1471068418000522_ref18) 2014; 14
Flach (S1471068418000522_ref12) 1994
S1471068418000522_ref17
S1471068418000522_ref14
S1471068418000522_ref15
S1471068418000522_ref16
S1471068418000522_ref31
S1471068418000522_ref10
S1471068418000522_ref11
References_xml – ident: S1471068418000522_ref31
– ident: S1471068418000522_ref3
  doi: 10.1017/S1471068413000689
– ident: S1471068418000522_ref28
  doi: 10.1007/978-3-540-27775-0_30
– volume-title: Towards Integrative Machine Learning and Knowledge Extraction
  year: 2017
  ident: S1471068418000522_ref19
– ident: S1471068418000522_ref16
  doi: 10.1017/S1471068416000041
– volume: 46
  start-page: 1381
  year: 2016
  ident: S1471068418000522_ref21
  article-title: Probabilistic logic programming on the web
  publication-title: Software: Practice and Experience
– volume-title: Logic Programming Workshop
  year: 1980
  ident: S1471068418000522_ref5
– ident: S1471068418000522_ref11
  doi: 10.1017/S1471068414000076
– volume-title: Simply Logical: Intelligent Reasoning by Example
  year: 1994
  ident: S1471068418000522_ref12
– ident: S1471068418000522_ref2
  doi: 10.3233/IDA-130582
– ident: S1471068418000522_ref17
  doi: 10.1007/BF03037383
– ident: S1471068418000522_ref24
– ident: S1471068418000522_ref9
  doi: 10.1007/s10994-015-5510-3
– ident: S1471068418000522_ref1
  doi: 10.3233/IA-170106
– ident: S1471068418000522_ref22
  doi: 10.1017/S1471068411000664
– volume-title: Reproducible Research with R and R Studio
  year: 2013
  ident: S1471068418000522_ref13
  doi: 10.1201/b15100
– ident: S1471068418000522_ref7
– ident: S1471068418000522_ref25
  doi: 10.1145/5689.5920
– ident: S1471068418000522_ref26
– ident: S1471068418000522_ref8
  doi: 10.1007/3-540-44957-4_47
– volume: 124
  start-page: 521
  year: 2013
  ident: S1471068418000522_ref20
  article-title: MCINTYRE: A Monte Carlo system for probabilistic logic programming
  publication-title: Fundamenta Informaticae
  doi: 10.3233/FI-2013-847
– ident: S1471068418000522_ref10
  doi: 10.1007/978-3-319-23461-8_37
– start-page: 16
  year: 2007
  ident: S1471068418000522_ref29
– ident: S1471068418000522_ref15
  doi: 10.1007/s00354-015-0103-z
– ident: S1471068418000522_ref6
  doi: 10.1007/s10994-015-5494-z
– volume: 14
  start-page: 539
  year: 2014
  ident: S1471068418000522_ref18
  article-title: Pengines: Web logic programming made easy
  publication-title: TPLP
– ident: S1471068418000522_ref14
  doi: 10.1093/comjnl/27.2.97
– volume: 8
  start-page: 363
  year: 2008
  ident: S1471068418000522_ref30
  article-title: SWI-prolog and the web
  publication-title: TPLP
– volume-title: Learning IPython for Interactive Computing and Data Visualization
  year: 2013
  ident: S1471068418000522_ref23
– volume-title: Learn Prolog Now!
  year: 2006
  ident: S1471068418000522_ref4
– ident: S1471068418000522_ref27
  doi: 10.1016/0004-3702(95)00122-0
SSID ssj0016324
Score 2.2428265
Snippet Programming environments have evolved from purely text based to using graphical user interfaces, and now we see a move toward web-based interfaces, such as...
SourceID swepub
proquest
crossref
cambridge
SourceType Open Access Repository
Aggregation Database
Enrichment Source
Index Database
Publisher
StartPage 229
SubjectTerms 2007
Applications programs
Computer Science
Data analysis
Graphical user interface
Human Computer Interaction
ijcai
inference
Logic programming
logic programming system
Människa-datorinteraktion (interaktionsdesign)
notebook interface
Original Article
p2462
Programming environments
programs
Prolog
raedt l
Science & Technology - Other Topics
Servers
Software reviews
Special Issue on User-Oriented Logic Programming and Reasoning Paradigms
web
Websites
Title Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages
URI https://www.cambridge.org/core/product/identifier/S1471068418000522/type/journal_article
https://www.proquest.com/docview/2180951709
https://gup.ub.gu.se/publication/278603
Volume 19
WOSCitedRecordID wos000458807300004&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/eLvHCXMwpV3PS8MwFH7o9ODF3-J0Sg7iQQy2abo2J1FRFGWMqWx4KWmaiCDbtJsH_3rz2nSbCLt46SFpQpr3kvfl5fV7AEeZUL4xTUYNl4JybThNm0zQ2MTCqguTgZBFsomo1Yp7PdF2DrfchVVWe2KxUWcDhT7yM4ZEU6EfeeJ8-EExaxTerroUGouw5DPmo57fR3Ryi4BU5MXfRRFG98S8utVEymgsxDLbLbpG2Sy3wm8bNQM8Z8lECwN0s_bfoa_DqoOe5KLUlQ1Y0P1NWKvSOhC3yregXYQRkMfu3eMtGQ1Ix2LJt29NCuehLPZH0tUpRQOYkSckQUAlJhb-EkzdrFzNg3OF5tvwfHP9dHVLXeIFqgIRj2gWGuHztKmi0NgDpBZxFhgVSU8xbqSFLHYGUxHIzAgpQk8Hypq8pm8Xs6dNIHSwA7X-oK93gdgjsK3iKeOp5DKSUhlfcwubwlTEoWZ1OJ1Me-KWT56UoWdR8kdKdfAqySTKkZhjLo33eU1OJk2GJYPHvJcblQino5nKrw7HpQpMekJ27tfxMLFFr-Mk1wmzn-sFe_P72YcVC7xEGcvWgNroc6wPYFl9jd7yz0NYurxutTuHhTLbZzt8-QHa8_YT
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LbxMxEB6VggQXylMEWvABOCAsdm1vvD5UCBWqRAlRRYPa29brtatKKAndBER_VH9jZ_aRBiHl1gNXe22t7c8z4_H4G4DXhXFxCF3Bg7KGKx8Uz7vC8DSkBuEirDS2SjahR6P0-NgcbMBl-xaGwipbmVgJ6mLqyEf-QRDRVBLryHyc_eSUNYpuV9sUGjUsBv7Pbzyylbv9z7i-b4TY_zLe6_EmqwB30qRzXiTBxCrvOp0EPB15kxYyOG0jJ1SwqI8Ro7mRtgjGmiTy0qE878aI1MgHabzEfm_BbSVTTVz9A82XtxZEfV69ZtIUTZSq9haVKKqpkMpwGOSKFatcDn_rxBVDd5W8tFJ4-1v_21Q9gPuNac0-1XvhIWz4ySPYatNWsEaKPYaDKkyCHR71D3tsPmXf0FY-u_Csco7aSv6zI59zUvAFGxPJA21ShuY9o9TUrqkZNq7e8gl8v5FxPYXNyXTinwHDIz5WqVyo3CqrrXUh9grNwiQ3aeJFB94vlzlrxEOZ1aF1OvsHFR2IWiRkriFpp1whP9Y1ebdsMqsZStZ9vN1C5vpvrvHSgbc15JY9Efv46WKWYdHpIit9JnC4kXy-vp9XcLc3_jrMhv3R4AXcQyPT1HF727A5P1_4Hbjjfs3PyvOX1QZicHLTMLwCDOhQCw
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=Using+SWISH+to+Realize+Interactive+Web-based+Tutorials+for+Logic-based+Languages&rft.jtitle=Theory+and+practice+of+logic+programming&rft.au=WIELEMAKER%2C+JAN&rft.au=RIGUZZI%2C+FABRIZIO&rft.au=KOWALSKI%2C+ROBERT+A.&rft.au=LAGER%2C+TORBJ%C3%96RN&rft.date=2019-03-01&rft.issn=1471-0684&rft.eissn=1475-3081&rft.volume=19&rft.issue=2&rft.spage=229&rft.epage=261&rft_id=info:doi/10.1017%2FS1471068418000522&rft.externalDBID=n%2Fa&rft.externalDocID=10_1017_S1471068418000522
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