Links - Logical Inference ( Prolog Style )
Updated Sept 19 2008:
From the article "Using Prolog as the fundament for applications on the semantic web":
This article describes the experiences developing a Semantic Web application entirely in Prolog. The application, a demonstrator that provides access to multiple art collections and linking these using cultural heritage vocabularies, has won the first price in the ISWC-06 contest on SemanticWeb end-user applications. In this document we concentrate on the Prolog-based architecture, describing experiences and vital aspects of the design.