Stav dette: Programming in Prolog /