setup prolog theory