{"id":"https://openalex.org/W2951713554","doi":"https://doi.org/10.1017/s1471068418000522","title":"Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages","display_name":"Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages","publication_year":2019,"publication_date":"2019-02-15","ids":{"openalex":"https://openalex.org/W2951713554","doi":"https://doi.org/10.1017/s1471068418000522","mag":"2951713554"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068418000522","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068418000522","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1808.08042","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052365388","display_name":"Jan Wielemaker","orcid":"https://orcid.org/0000-0001-5574-5673"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"JAN WIELEMAKER","raw_affiliation_strings":["Centrum Wiskunde & Informatica, Amsterdam, Netherlands (e-mail:"],"raw_orcid":"https://orcid.org/0000-0001-5574-5673","affiliations":[{"raw_affiliation_string":"Centrum Wiskunde & Informatica, Amsterdam, Netherlands (e-mail:","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086909487","display_name":"Fabrizio Riguzzi","orcid":"https://orcid.org/0000-0003-1654-9703"},"institutions":[{"id":"https://openalex.org/I201324441","display_name":"University of Ferrara","ror":"https://ror.org/041zkgm14","country_code":"IT","type":"education","lineage":["https://openalex.org/I201324441"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"FABRIZIO RIGUZZI","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Ferrara (e-mail:"],"raw_orcid":"https://orcid.org/0000-0003-1654-9703","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Ferrara (e-mail:","institution_ids":["https://openalex.org/I201324441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102730789","display_name":"Robert Kowalski","orcid":"https://orcid.org/0000-0002-1341-8583"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"ROBERT A. KOWALSKI","raw_affiliation_strings":["Imperial College, London, UK (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College, London, UK (e-mail:","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009187454","display_name":"Torbj\u00f6rn Lager","orcid":null},"institutions":[{"id":"https://openalex.org/I881427289","display_name":"University of Gothenburg","ror":"https://ror.org/01tm6cn81","country_code":"SE","type":"education","lineage":["https://openalex.org/I881427289"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"TORBJ\u00d6RN LAGER","raw_affiliation_strings":["University of Gothenburg, Gothenburg, Sweden (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Gothenburg, Gothenburg, Sweden (e-mail:","institution_ids":["https://openalex.org/I881427289"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083972852","display_name":"Fariba Sadri","orcid":"https://orcid.org/0000-0003-1307-7667"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"FARIBA SADRI","raw_affiliation_strings":["Imperial College, London, UK (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College, London, UK (e-mail:","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079615991","display_name":"Miguel Calejo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"MIGUEL CALEJO","raw_affiliation_strings":["Logical Contracts, Lisbon, Portugal (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Logical Contracts, Lisbon, Portugal (e-mail:","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1182,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":{"value":0.83478053,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"19","issue":"2","first_page":"229","last_page":"261"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8765088319778442},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.8569247126579285},{"id":"https://openalex.org/keywords/javascript","display_name":"JavaScript","score":0.6754671335220337},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5751646757125854},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.5657404661178589},{"id":"https://openalex.org/keywords/web-application","display_name":"Web application","score":0.5329689979553223},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.5301267504692078},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.43535101413726807},{"id":"https://openalex.org/keywords/style-sheet","display_name":"Style sheet","score":0.4216020703315735},{"id":"https://openalex.org/keywords/user-interface","display_name":"User interface","score":0.41906487941741943},{"id":"https://openalex.org/keywords/declarative-programming","display_name":"Declarative programming","score":0.41851192712783813},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.25109460949897766},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.2283797562122345},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.2204684615135193},{"id":"https://openalex.org/keywords/xml","display_name":"XML","score":0.18445110321044922}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8765088319778442},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.8569247126579285},{"id":"https://openalex.org/C544833334","wikidata":"https://www.wikidata.org/wiki/Q2005","display_name":"JavaScript","level":2,"score":0.6754671335220337},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5751646757125854},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5657404661178589},{"id":"https://openalex.org/C118643609","wikidata":"https://www.wikidata.org/wiki/Q189210","display_name":"Web application","level":2,"score":0.5329689979553223},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.5301267504692078},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.43535101413726807},{"id":"https://openalex.org/C89159866","wikidata":"https://www.wikidata.org/wiki/Q4119753","display_name":"Style sheet","level":3,"score":0.4216020703315735},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.41906487941741943},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.41851192712783813},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.25109460949897766},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.2283797562122345},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2204684615135193},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.18445110321044922}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1017/s1471068418000522","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068418000522","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1808.08042","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1808.08042","pdf_url":"https://arxiv.org/pdf/1808.08042","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/65240","is_oa":true,"landing_page_url":"http://hdl.handle.net/10044/1/65240","pdf_url":"http://hdl.handle.net/10044/1/65240","source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"261","raw_type":"Journal Article"},{"id":"pmh:cwi:oai:cwi.nl:28573","is_oa":false,"landing_page_url":"https://ir.cwi.nl/pub/28573","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Theory and Practice of Logic Programming, 19(2), 229 - 261","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:iris.unife.it:11392/2400706","is_oa":true,"landing_page_url":"http://hdl.handle.net/11392/2400706","pdf_url":null,"source":{"id":"https://openalex.org/S4306400369","display_name":"Institutional Research Information System University of Ferrara (University of Ferrara)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I201324441","host_organization_name":"University of Ferrara","host_organization_lineage":["https://openalex.org/I201324441"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1808.08042","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1808.08042","pdf_url":"https://arxiv.org/pdf/1808.08042","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"display_name":"Quality Education","score":0.8299999833106995,"id":"https://metadata.un.org/sdg/4"}],"awards":[{"id":"https://openalex.org/G6319335836","display_name":"A Europe-wide Interoperable Virtual Research Environment to Empower Multidisciplinary Research Communities and Accelerate Innovation and Collaboration","funder_award_id":"676247","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320283","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W185647163","https://openalex.org/W811924890","https://openalex.org/W1200217156","https://openalex.org/W1410173981","https://openalex.org/W1489867543","https://openalex.org/W1510555031","https://openalex.org/W1514973146","https://openalex.org/W1553182817","https://openalex.org/W1601957265","https://openalex.org/W1824971879","https://openalex.org/W1948942933","https://openalex.org/W1996824494","https://openalex.org/W2026791378","https://openalex.org/W2048600620","https://openalex.org/W2086351973","https://openalex.org/W2102506621","https://openalex.org/W2138522630","https://openalex.org/W2171714858","https://openalex.org/W2222166069","https://openalex.org/W2277786785","https://openalex.org/W2283350629","https://openalex.org/W2342082360","https://openalex.org/W2606309900","https://openalex.org/W2766251362","https://openalex.org/W2766808405","https://openalex.org/W2899987233","https://openalex.org/W2924068956","https://openalex.org/W2951713554","https://openalex.org/W2963676309","https://openalex.org/W3101127636","https://openalex.org/W3101896086","https://openalex.org/W3103568346","https://openalex.org/W3104376605","https://openalex.org/W4242395378","https://openalex.org/W6680666152","https://openalex.org/W6695357017","https://openalex.org/W6785565970"],"related_works":["https://openalex.org/W2951371264","https://openalex.org/W1977834309","https://openalex.org/W1849174213","https://openalex.org/W1973582361","https://openalex.org/W1487563773","https://openalex.org/W4380901377","https://openalex.org/W592311106","https://openalex.org/W1493824320","https://openalex.org/W1589124319","https://openalex.org/W1965400161"],"abstract_inverted_index":{"Abstract":[0],"Programming":[1,148],"environments":[2],"have":[3,154],"evolved":[4],"from":[5],"purely":[6],"text":[7,38],"based":[8],"to":[9,123,157],"using":[10,51],"graphical":[11],"user":[12],"interfaces,":[13,22],"and":[14,39,72,95,113,118,136,149],"now":[15],"we":[16,130],"see":[17],"a":[18,81,89,96,105],"move":[19],"toward":[20],"web-based":[21],"such":[23],"as":[24,41,43],"Jupyter.":[25],"Web-based":[26],"interfaces":[27],"allow":[28],"for":[29,55,67,84],"the":[30,115,132],"creation":[31],"of":[32,37,88,134,141,143],"interactive":[33,74],"documents":[34],"that":[35,86],"consist":[36],"programs,":[40],"well":[42],"their":[44],"output.":[45],"The":[46],"output":[47],"can":[48,111,120],"be":[49,121],"rendered":[50],"web":[52,82,90,98,106],"technology":[53],"as,":[54],"example,":[56],"text,":[57],"tables,":[58],"charts,":[59],"or":[60],"graphs.":[61],"This":[62,77],"approach":[63],"is":[64],"particularly":[65],"suitable":[66],"capturing":[68],"data":[69],"analysis":[70],"workflows":[71],"creating":[73],"educational":[75],"material.":[76],"article":[78,129],"describes":[79],"SWISH,":[80,135],"front-end":[83],"Prolog":[85,125],"consists":[87],"server":[91,107],"implemented":[92],"in":[93,101],"SWI-Prolog":[94],"client":[97],"application":[99],"written":[100],"JavaScript.":[102],"SWISH":[103,156],"provides":[104],"where":[108],"multiple":[109],"users":[110],"manipulate":[112],"run":[114],"same":[116],"material,":[117],"it":[119],"adapted":[122],"support":[124],"extensions.":[126],"In":[127],"this":[128],"describe":[131,137],"architecture":[133],"two":[138],"case":[139],"studies":[140],"extensions":[142],"Prolog,":[144],"namely":[145],"Probabilistic":[146],"Logic":[147,150],"Production":[151],"System,":[152],"which":[153],"used":[155],"provide":[158],"tutorial":[159],"sites.":[160]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":3}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2019-06-27T00:00:00"}