Pengines: Web Logic Programming Made Easy

DOI10.1017/S1471068414000192zbMath1307.68018arXiv1405.3953WikidataQ64385364 ScholiaQ64385364MaRDI QIDQ2931263

Torbjörn Lager, Jan Wielemaker

Publication date: 25 November 2014

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1405.3953

zbMATH Keywords

query languagesdistributed programmingagent programmingweb programming

Mathematics Subject Classification ID

Database theory (68P15) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Logic programming (68N17)

Related Items (5)

Advances in integrative statistics for logic programming ⋮ Tableau reasoning for description logics and its extension to probabilities ⋮ Unnamed Item ⋮ Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages ⋮ Pengines

Uses Software

• JavaScript
• SWI-Prolog

Cites Work

• SWI-Prolog and the web
• On Communicating Finite-State Machines

This page was built for publication: Pengines: Web Logic Programming Made Easy