Read From Logic Design To Logic Programming Theorem Proving Techniques And P Functions