Repositorios git - scryer-prolog.git/commit

]> Repositorios git - scryer-prolog.git/commit

author	Markus Triska <[email protected]>
	Tue, 21 Apr 2020 23:53:20 +0000 (01:53 +0200)
committer	Markus Triska <[email protected]>
	Tue, 21 Apr 2020 23:53:20 +0000 (01:53 +0200)
commit	20fb6d666961544319b2773dd33cc930d6989f13
tree	f48c68f88be473e38e5aaf14029ac2e50ed9fc86	tree \| snapshot
parent	caf20cd43d4fc3f47c05b13c62594d7465829f8e	commit \| diff

ADDED: library(format) now provides a rudimentary version of listing/1

Example:

    :- dynamic(a/1).

    a(X) :- X = true, b(X).

Yielding:

    ?- listing(a/1).
    %@ a(A) :-
    %@    A=true,
    %@    b(A).
    %@    true.

listing/1 only works for predicates and DCGs that are declared dynamic/1.

src/prolog/lib/format.pl

diff | blob | history

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom