Projekt Orakulum

Mercury (http://www.cs.mu.oz.au/research/mercury/) je vynikající logický programovací jazyk.
  - několikanásobně rychlejší než Prolog (kód je převeden do C, poté běžně kompilován (gcc))
  - programátorsky velmi příjemný a intuitivní (za předpokladu znalosti technik logického programování)
  - kvalitní uživatelská podpora (konference)

Databázový přístup založený na XML (prohledávání pomocí XSH, XPATH apod.)
 - velmi pomalé
 - potenciálně nedostatečná dotazovací síla (při "intuitivní" XML reprezentaci PDT stromu
   nebylo některé dotazy možné jednoduše zadat)