logic programming with prolog part 2 9295590