Theory and Practice of Logic Programming

Using SWISH to realize interactive web-based tutorials for logic-based languages Article

J. Wielemaker (Jan), F. Riguzzi (Fabrizio), R.A. Kowalski (Robert), T. Lager (Torbjörn), F. Sadri (Fariba) and M. Calejo (Miguel)