Do pure logic machine use some kind of higher order prolog, which currently does not exist?