Logic programming: proceedings of the 1995 international symposium by Lloyd, John, International Logic Programming Symposium, Portland (OR)) fromLogic programming 0 Type: Book