To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Intro to Web Prolog for E… - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Intro to Web Prolog for Erlangers

Conference paper
Authors Torbjörn Lager
Published in Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang
ISBN ISBN 978-1-4503-6810-0/19/08
Publisher ACM Press
Publication year 2019
Published at Department of Philosophy, Linguistics and Theory of Science
Language en
Links https://gup.ub.gu.se/file/207827
Keywords Prolog, Erlang, web programming
Subject categories Computer science

Abstract

We describe a programming language called Web Prolog. We think of it as a web programming language, or, more specifically, as a web logic programming language. The language is based on Prolog, with a good pinch of Erlang added. We stay close to traditional Prolog, so close that the vast majority of programs in Prolog textbooks will run without modification. Towards Erlang we are less faithful, picking only features we regard as useful in a web programming language, e.g. features that support concurrency, distribution and intra-process communication. In particular, we borrow features that make Erlang into an actor programming language, and on top of these we define the concept of a pengine – a programming abstraction in the form of a special kind of actor which closely mirrors the behaviour of a Prolog top-level. On top of the pengine abstraction we develop a notion of non-deterministic RPC and the concept of the Prolog Web.

Page Manager: Webmaster|Last update: 9/11/2012
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?