Torbjörn Lager will in two talks give an overview of his work.
”For more than a decade now I've been working on something that promises to combine, in a complete and coherent way (well, at least in my mind), a number of areas of research and development that have been of interest to me over the years: programming languages, logic programming, Prolog, knowledge representation, web technology, (event-driven) state machines, symbolic AI, abstract models of linguistic communication, conversational systems - those are just some of them!”
1. Webizing Prolog - and Prologizing the Web
After a very brief introduction to logic programming and Prolog, as well as to another programming paradigm known as actor programming, I'll present the design of a language called *Web Prolog*, its roots in the ISO Prolog standard, and its relation to another programming language called Erlang. I furthermore discuss a proposal for the architecture for an extension of the current Web that I think of as *the Prolog Web*, develop the notion of the *pure* Prolog Web, and compare the Prolog Web with the Semantic Web. If time permits, I'll give a demo of my proof-of-concept implementation.
The second seminar on 16 March has the title Agents on the Prolog Web.