Detail

Not Your Father´s Prolog: New Features and Applications for Open-Source Prolog Systems

The CENTRIA is acknowledged for supporting Prof. Swift´s visit to DI/FCT/UNL.

Modern programming languages evolve to include new features and to
adapt to new hardware. A number of new features have been added to
open-source Prolog systems that a few years ago were either wholly
unavailable, available only in commercial systems or only in research
prototypes. These features include costraint-based reasoning,
tabling, multi-threading, support for embedding, support for theorem
provers, support for ontologies, and support for object-oriented logic
programming. The addition of these new features has moved Prolog from
a special-purpose language for AI problems to a general-purpose
programming language with advantages for a number of applications.
Focusing mostly on XSB prolog, some new features of Prologs are discussed as well as
how these new features support applications in areas such as
verification of concurrent systems, e-commerce, medical informatics,
and program analysis.