Merge branch 'master' of ssh://git@git.dcc.fc.up.pt/yap-6.3
This commit is contained in:
commit
451a37d708
@ -8,16 +8,30 @@
|
|||||||
* *
|
* *
|
||||||
**************************************************************************
|
**************************************************************************
|
||||||
* *
|
* *
|
||||||
* File: listing.pl *
|
* File: listing.yap *
|
||||||
* Last rev: *
|
* Last rev: *
|
||||||
* mods: *
|
* mods: *
|
||||||
* comments: listing a prolog program *
|
* comments: listing a prolog program *
|
||||||
* *
|
* *
|
||||||
*************************************************************************/
|
*************************************************************************/
|
||||||
|
|
||||||
% just reexport standard listing predicates.
|
/*
|
||||||
|
|
||||||
:- module( listing, [listing/0,
|
emulates listing.pl, but just the interface for now.
|
||||||
listing/1,
|
|
||||||
portray_clause/1,
|
*/
|
||||||
portray_clause/2], []).
|
|
||||||
|
|
||||||
|
:- 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 ).
|
||||||
|
Reference in New Issue
Block a user