SHORE uses PROLOG as its query language and the XSB system a its
query language.
Because SHORE currently uses an older version of XSB it is included in
the SHORE sources.
Please check our SourceForge project for details.
The XSB Project itself is also
hosted by SourceForge