Great paper and great effort!

Indeed. The 2-3 slowdown is not too bad. The current image is 1.3Mb, which isn’t too bad either. I’m not too sure WASM will see mature enough multi-threading anytime soon and even whether we will see threading at all. SWI-Prolog is fairly demanding on its requirements for reliable and scalable t…

[image] grossdan: I suspect that with the move away from formal (heavy weight) semantic ontologies on the web to light-weight shapes, and with semantics (by necessity) moving into accompanying JavaScript, there is a chance here to provide a better middle ground with web-prolog. Indeed. Peter …

Thanks for the slide, very interesting. There are various semantic underpinnings for logic programming, with well-founded semantics one of them (stable model semantics / answer sets is another one – if i understood that correctly). I feel best to keep a simple and standard (ISO?) Prolog baseline, …

[image] Ann: Paper about Web Prolog Logtalk is rooted in some clever dispatch meta programming, see original paper that introduced Logtalk idea with another co-author than Paulo Moura. That old paper described Logtalk 1.x, an experiment in computational reflection. The implemented mechanisms t…

As someone unfamiliar with pengines and Erlang, but has built a fairly complex web application using SWI-Prolog, I’m a little confused as to what problem this solves. I’m communicating between the Javascript in the browser and the Prolog server via Json like so: move_handler(Request) :- member(m…

[image] joeblog: So far, I’ve got a chess player at http://www.newsgames.biz/chess and a draughts player at http://www.newsgames.biz/draughts working using this simple code. (They are not exactly tough players yet, but it’s work in progress). You should post these in Useful Prolog references

Thanks Eric What is probably more useful is the basic gameplaying code which I’ve put at https://swish.swi-prolog.org/p/Graphs1.swinb and my notes on writing a web server with SWI-Prolog at https://github.com/roblaing/swipl-webapp-howto which I’ve posted here before, but I’ll add to the references …

The question is what one wants to achieve with object orientation. In knowledge representation, such as RDFS / OWL, one wants to compactly capture domain knowledge with semantic correctness guarantees related to provided symbolic inferences. There is no notion of function (in the imperative code s…

Using Prolog as a web application language in my view just boils down to translating Json to Prolog terms and back. As far as I understand, SWI-Prolog’s dictionaries are just syntactic sugar for a standard Prolog list along the lines of [key1(value1), key2(value2),…] using a very Json-like notation …

Well, there is the language, the architecture and the contents. The language can be as simple as intelligently handling of json. The architecture enables transparent concurrent querying across various end-points, transparent paralleism and synchronization of obtaining results, and backtracking as …

Ann: Paper about Web Prolog (Discussion)

Discussion

EricGT August 31, 2019, 2:52pm 38

You should post these in Useful Prolog references

Topic		Replies	Views
Web Prolog - a multi-paradigm language? Request For Comments on-topic-only	14	2140	September 12, 2019
Encouraging industry about Prolog Split Topic	66	5850	October 25, 2019
WASM wait for user input General	27	380	February 28, 2025
Collaborative ontology construction involving Prolog Help!	20	4695	May 18, 2019
Web Prolog ISOBASE Test Cluster - Hack Away, Find Security Bugs Looking for Group web-prolog	56	4141	November 24, 2019

Ann: Paper about Web Prolog (Discussion)

Related topics