diff --git a/examples/datasets/mnist_add/add.pl b/examples/datasets/mnist_add/add.pl
new file mode 100644
index 0000000..96f0869
--- /dev/null
+++ b/examples/datasets/mnist_add/add.pl
@@ -0,0 +1,2 @@
+pseudo_label(N) :- between(0, 9, N).
+logic_forward([Z1, Z2], Res) :- pseudo_label(Z1), pseudo_label(Z2), Res is Z1+Z2.