3 ms·Do pure logic machine use some kind of higher order prolog, which currently does not exist?by z3phyr 1y agoDo pure logic machine use some kind of higher order prolog, which currently does not exist?