Call for Papers
Logic Programming and the Web
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
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.
- Language constructs -- failure, backtracking, concurrency
- APIs and Utilities -- Web access, document type support
- Applications -- search, agents, intelligent interfaces
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.
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.
Call for Papers