Logic Programming and the Web


Slides

Abstract

Logic programming has proven its merits in a variety of application areas including diagnostic expert systems, natural language processing and agent-based control systems. The goal of the workshop is to assess whether and in what way logic programming language constructs and programming techniques may be applied to profit from a knowledge-based approach to developing applications for the Web. Potential advantages of such an approach include knowledge-level reasoning about resources and user models and the application of logic-based inference techniques to information filtering.

Recently several implementations of Prolog in Java have been announced. Another goal of the workshop is to discuss the merits of the various implementations of Prolog for the Web, and to assess the criteria that must be met to adopt a logic programming language as a mature vehicle for the development of Web applications.

In particular agent applications may benefit from a high level formalism as offered by logic-based programming languages. Currently there seems to be a gap between the primarily logic-based models of cooperating agents and the realization of agents in a variety of primarily imperative programming languages, a gap that may be bridged by applying declarative logic-based programming languages for the realization of software agents.


slide: Abstract


Issues include:


slide: issues

Program

Despite the fact that there was no formal program to start from we had an interesting session that lasted from 9.15 to well over twelve noon. There were about 10 to 15 people, including the speakers. After a brief introduction by the chairman, Simon Polovina compared the logic programming paradigm with existing paradigms (including Java). Then Fredik Espinoza talked about the use of Sicstus Objects in developing a framework for agent-based applications. As a surprise, Paul Tarau and Veronica Dahl showed up later in the morning. Paul gave a presentation about the use of BinProlog for developing (among other things) virtual worlds. The session was ended with a wrapup, that can be found at the top of this page.

Papers


slide: Papers


Related Material


slide: Related Material