Logic Programming by Jan Maluszynski