add listing.yap

2014-05-05 13:53:39 +01:00 · 2014-05-05 13:53:39 +01:00 · 426d952894
commit 426d952894
parent d58dcdc3e6
1 changed files with 20 additions and 0 deletions
--- a/library/listing.yap
+++ b/library/listing.yap
@ -0,0 +1,20 @@
+/* 
+
+ emulates listing.pl, but just the interface for now.
+
+*/
+
+
+:- module(swi_listing,
+	[ listing/0,
+	  listing/1,
+	  portray_clause/1,		% +Clause
+	  portray_clause/2,		% +Stream, +Clause
+	  portray_clause/3		% +Stream, +Clause, +Options
+	]).
+
+
+:- meta_predicate portray_clause( +, + , : ).
+
+portray_clause(Stream, Term, M:Options) :-
+    portray_clause( Stream, Term ).