logic programming with prolog part 3 131905