Inferential_programming