2logicprogramming.pdf