Description of differences between pellet and prolog