PROBCORE-600 Updated integration test and Command to reflect changes to Prolog API