Added library(debug)

2020-06-19 17:18:59 +02:00
parent 0d20ca0bf2
commit 94eddd3b42
1 changed files with 22 additions and 0 deletions
--- a/src/lib/debug.pl
+++ b/src/lib/debug.pl
@@ -0,0 +1,22 @@
+% Source: https://stackoverflow.com/a/30791637
+
+:- module(debug, [
+    op(900, fx, $),
+    op(900, fx, $-),
+    op(950, fy, *),
+    (*)/1,
+    ($)/1,
+    ($-)/1
+]).
+
+:- use_module(library(format), [portray_clause/1]).
+
+$-(G_0) :-
+   catch(G_0, Ex, ( portray_clause(exception:Ex:G_0), throw(Ex) ) ).
+
+$(G_0) :-
+   portray_clause(call:G_0),
+   $-G_0,
+   portray_clause(exit:G_0).
+
+*(_).