add pure logic program SLD