:dummy library, for now.

2014-05-04 23:15:10 +01:00 · 2014-05-04 23:15:10 +01:00 · 7393dd1405
parent 462bb216f7
commit 7393dd1405
1 changed files with 23 additions and 0 deletions
--- a/library/listing.yap
+++ b/library/listing.yap
@ -0,0 +1,23 @@
+/*************************************************************************
+*									 *
+*	 YAP Prolog 							 *
+*									 *
+*	Yap Prolog was developed at NCCUP - Universidade do Porto	 *
+*									 *
+* Copyright L.Damas, V.S.Costa and Universidade do Porto 1985-1997	 *
+*									 *
+**************************************************************************
+*									 *
+* File:		listing.pl						 *
+* Last rev:								 *
+* mods:									 *
+* comments:	listing a prolog program				 *
+*									 *
+*************************************************************************/
+
+% just reexport standard listing predicates.
+
+:- module( listing, [listing/0,
+        listing/1,
+        portray_clause/1,
+        portray_clause/2], []).