logic programming 1419662