A proof-of-concept SWI-Prolog implementation of Web Prolog
Switch branches/tags
Nothing to show
Clone or download
Latest commit 49b139c Jul 9, 2018
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
book Added right version Jun 18, 2018
erlang Moved from https://github.com/JanWielemaker/swi-erlang Jun 8, 2018
examples Moved from https://github.com/JanWielemaker/swi-erlang Jun 8, 2018
old_tests Moved from https://github.com/JanWielemaker/swi-erlang Jun 8, 2018
web-client Updated tutorial Jul 9, 2018
LICENSE Initial commit Jun 8, 2018
README.md A better URL for the book draft Jun 12, 2018
TODO.md Moved from https://github.com/JanWielemaker/swi-erlang Jun 8, 2018
actors.pl Use only random numbers instead of UUIDs Jun 19, 2018
distribution.pl Use only random numbers instead of UUIDs Jun 19, 2018
dollar_expansion.pl Moved from https://github.com/JanWielemaker/swi-erlang Jun 8, 2018
format.old.pl Moved from https://github.com/JanWielemaker/swi-erlang Jun 8, 2018
format.pl Moved from https://github.com/JanWielemaker/swi-erlang Jun 8, 2018
io.pl Moved from https://github.com/JanWielemaker/swi-erlang Jun 8, 2018
isolation.pl Moved from https://github.com/JanWielemaker/swi-erlang Jun 8, 2018
node.pl Moved from https://github.com/JanWielemaker/swi-erlang Jun 8, 2018
pengines2.pl Moved from https://github.com/JanWielemaker/swi-erlang Jun 8, 2018
pengines_io.pl Moved from https://github.com/JanWielemaker/swi-erlang Jun 8, 2018
resident.pl testing with pseudo-uuids Jun 18, 2018
restful_api.pl Moved from https://github.com/JanWielemaker/swi-erlang Jun 8, 2018
rpc.pl Use only random numbers instead of UUIDs Jun 19, 2018
test_actors.pl Moved from https://github.com/JanWielemaker/swi-erlang Jun 8, 2018
web_prolog.pl testing with pseudo-uuids Jun 18, 2018

README.md

Web Prolog

Elevator pitch:

Imagine a dialect of Prolog with processes and mailboxes and send and receive – all the means necessary for powerful concurrent and distributed programming. Alternatively, think of it as a dialect of Erlang with logic variables, backtracking search and a built-in database of facts and rules – the means for logic programming, knowledge representation and reasoning. Also, think of it as a web logic programming language. This is what Web Prolog is all about.

This is a proof-of-concept demonstration/tutorial only. The system is not yet ready for online deployment. But you can install it locally, work through the tutorial, and play with lots of code examples.

Design and implementation by Torbjörn Lager, with a lot of help from Jan Wielemaker.

You may also want to have a look at SWISH (https://swish.swi-prolog.org/) which is a stable online IDE for Prolog, running 24/7 and having lots of users, especially among students taking CS courses involving logic programming and Prolog.

One of my long term goals is to replace the SWISH back-end with a Web Prolog node.

Installation

Get the latest SWI-Prolog

Install the latest SWI-Prolog development version.

Clone or download the repo

Running Web Prolog

From the web-prolog directory, do:

$ cd web-client
$ swipl run.pl

Now direct your browser to http://localhost:3060/apps/swish/index.html .

A book manuscript describing the approach is available at

https://github.com/Web-Prolog/swi-web-prolog/raw/master/book/web-prolog.pdf

It is very much a draft lacking some of the planned chapters, but should be readable enough for those who want to know more about the ideas behind Web Prolog.

Success!