Implement efficient techniques for fully observed data (including at least observations of all probabilistic facts). Consider the case of probabilistic logic programs (solved in closed form) and neuro-probabilistic logic programs (still requiring gradient learning). Test with the Sudoku example (learn program that encodes Sudoku rules from images of handwritten sudoku solutions).