How logic programming mimics human thought