A set of assertions for using erlog with eunit

I have found that I am using erlog to write tests a lot, so I created an assertion ?assertProlog which will let you run a prolog query and assert that it will pass. There is also an inverse option incase that is useful

srl/erlog_assert.hrl

@@ -0,0 +1,37 @@
+-define(assertProlog(PrologExp, Erlog),
+        begin
+            ((fun() ->
+                      case (erlog:prove(PrologExp,Erlog)) of 
+                          {{succeed,_}, E1} ->
+                              {ok,E1};
+                          {fail, E1} ->
+                              erlang:error({assertProlog, [
+                                                           [{module, ?MODULE},
+                                                            {line, ?LINE},
+                                                            {expression, PrologExp},
+                                                            {expected, true},
+                                                            {erlog_state, E1}
+                                                           ]]})
+                      end
+              end)())
+        end).
+
+
+-define(assertPrologFail(PrologExp, Erlog),
+        begin
+            ((fun() ->
+                      case (erlog:prove(PrologExp,Erlog)) of 
+                          {fail, E1} ->
+                              {ok,E1};
+                          {_, E1} ->
+                              erlang:error({assertProlog, [
+                                                           [{module, ?MODULE},
+                                                            {line, ?LINE},
+                                                            {expression, PrologExp},
+                                                            {expected, true},
+                                                            {erlog_state, E1}
+                                                           ]]})
+                      end
+              end)())
+        end).
+