• Home
  • CLT seminar: Torbjörn Lager - Web Logic Programming Made easy

CLT seminar: Torbjörn Lager - Web Logic Programming Made easy


I have designed a protocol on top of HTTP and written a first version of a small (fewer than 1000 lines of code) Prolog library and a tiny JavaScript program that implement it. The protocol (tentatively named Logic Programming Transfer Protocol or LPTP for short) enables us to "program in logic" on the web, concurrently if we choose to, and distributed if we want. Allowing us to develop applications in a style that I would like to refer to as "web logic programming" it has changed the way I think about web programming in a big way.

I'm going to make a number of claims (outrageous claims, you may think) about the potential I see this having: 1) It might provide us with an interesting basis for designing and implementing new and interesting agent programming platforms. 2) It might be a suitable point of departure for a new kind of semantic web, a "wild semantic web" that we could start spinning tomorrow if we wanted to. 3) It constitutes an ideal way to interface Prolog (and probably many other relational/logic programming languages) with JavaScript, the most important programming language available in web browsers. 4) It allows us to fairly easily build dialogue managers, based on state machines (as in SCXML), frames (as in VoiceXML), information states or even AI-style planning. 5) It suggests a logical interface with other NLP tools (such as GF) and might thus be a promising way to finally implement CLT Cloud.

In this talk I will argue for 1, 2, and 3, as well as demonstrate with running examples. I may also touch briefly on 4 and 5, but most of that will probably have to wait.

Date: 2013-11-28 10:30 - 11:30

Location: EDIT Room 3364, E-building, Chalmers (Johanneberg)


add to Outlook/iCal

To the top

Page updated: 2013-11-25 09:55

Send as email
Print page
Show as pdf