Feature/prolog