Imperial College London
Dr Fariba Sadri

DrFaribaSadri

Faculty of Engineering, Department of Computing

Senior Lecturer
 
 
 
//

Contact

 

+44 (0)20 7594 8224f.sadri Website

 
 
//

Location

 

447Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Wielemaker:2019:10.1017/S1471068418000522,
author = {Wielemaker, J and Riguzzi, F and Kowalski, B and Lager, T and Sadri, F and Calejo, M},
doi = {10.1017/S1471068418000522},
journal = {Theory and Practice of Logic Programming},
pages = {229--261},
title = {Using SWISH to realise interactive web based tutorials for logic based languages},
url = {http://dx.doi.org/10.1017/S1471068418000522},
volume = {19},
year = {2019}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - Programming environments have evolved from purely text based to using graphical userinterfaces, and now we see a move towards web based interfaces, such as Jupyter. Webbased interfaces allow for the creation of interactive documents that consist of text andprograms, as well as their output. The output can be rendered using web technology as,e.g., text, tables, charts or graphs. This approach is particularly suitable for capturing dataanalysis  workflows  and  creating  interactive  educational  material.  This  article  describesSWISH, 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 serverwhere multiple users can manipulate and run the same material, and it can be adaptedto support Prolog extensions. In this paper we describe the architecture of SWISH, anddescribe two case studies of extensions of Prolog, namely Probabilistic Logic Programming(PLP) and Logic Production System (LPS), which have used SWISH to provide tutorial sites.
AU  - Wielemaker,J
AU  - Riguzzi,F
AU  - Kowalski,B
AU  - Lager,T
AU  - Sadri,F
AU  - Calejo,M
DO  - 10.1017/S1471068418000522
EP  - 261
PY  - 2019///
SN  - 1471-0684
SP  - 229
TI  - Using SWISH to realise interactive web based tutorials for logic based languages
T2  - Theory and Practice of Logic Programming
UR  - http://dx.doi.org/10.1017/S1471068418000522
UR  - http://hdl.handle.net/10044/1/65240
VL  - 19
ER  -
Download