Pengines: Web Logic Programming Made Easy

DOI10.1017/S1471068414000192MaRDI QIDQ2931263zbMATH OpenWikidataFDO

Authors 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

agent programmingdistributed programmingquery languagesweb programming

Mathematics Subject Classification ID

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

Abstract: When developing a (web) interface for a deductive database, functionality required by the client is provided by means of HTTP handlers that wrap the logical data access predicates. These handlers are responsible for converting between client and server data representations and typically include options for paginating results. Designing the web accessible API is difficult because it is hard to predict the exact requirements of clients. Pengines changes this picture. The client provides a Prolog program that selects the required data by accessing the logical API of the server. The pengine infrastructure provides general mechanisms for converting Prolog data and handling Prolog non-determinism. The Pengines library is small (2000 lines Prolog, 150 lines JavaScript). It greatly simplifies defining an AJAX based client for a Prolog program and provides non-deterministic RPC between Prolog processes as well as interaction with Prolog engines similar to Paul Tarau's engines. Pengines are available as a standard package for SWI-Prolog 7.

Recommendations

• LogicWeb: Enhancing the Web with logic programming
• Logic programming semantics made easy
• Prosper: Developing web applications strongly integrated with Prolog
• Logic Programming Languages for Databases and the Web
• SWI-Prolog and the web
• scientific article; zbMATH DE number 1926603

Cites work

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

Cited in

(8)

• Tableau reasoning for description logics and its extension to probabilities
• Pengines
• Advances in integrative statistics for logic programming
• SWI-Prolog and the web
• Logic programming as a service
• Lightweight compilation of (C)LP to JavaScript
• scientific article; zbMATH DE number 7453126 (Why is no real title available?)
• Using SWISH to realize interactive web-based tutorials for logic-based languages

Describes a project that uses

Uses Software

• SWI-Prolog
• JavaScript

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2931263)