The resolution method used by Prolog is called SLD resolution.
Овој метод на пролог се нарекува SLD резолуција.