logic programming with prolog 8713958