Pengines: Web Logic Programming Made Easy
-
Published:2014-07
Issue:4-5
Volume:14
Page:539-552
-
ISSN:1471-0684
-
Container-title:Theory and Practice of Logic Programming
-
language:en
-
Short-container-title:Theory and Practice of Logic Programming
Author:
LAGER TORBJÖRN,WIELEMAKER JAN
Abstract
AbstractWhen 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.1
Publisher
Cambridge University Press (CUP)
Subject
Artificial Intelligence,Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Tau Prolog: A Prolog Interpreter for the Web;Theory and Practice of Logic Programming;2023-09-18
2. Advances in Big Data Bio Analytics;Electronic Proceedings in Theoretical Computer Science;2019-09-19
3. Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages;Theory and Practice of Logic Programming;2019-02-15
4. Intro to web prolog for erlangers;Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang - Erlang 2019;2019
5. Web-based Visualisation for Definite Clause Grammars Using Prolog Meta-Interpreters;Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming;2018-09-03