Prolog stuff
Prolog stuff