Downloads are available from SourceForge at


This is a set of documents describing SHORE and its features, unfortunately most of them are available only in German.

Published information about SHORE from the past

Documents for users and administrators of SHORE
(most in German)

XSB manual
(included here because we are using a pretty old version of XSB)

The XSB Programmer's Manual Version 1.8 (ps, 890 KB)

last update on 28.03.2009