prolog and logic programming 7366584