Markus Triska 44ebd894d5 ADDED: portray_clause/2, writing to a specified stream.

2020-06-13 16:45:47 +02:00

..

tabling

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

arithmetic.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

assoc.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

atts.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

between.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

builtins.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

charsio.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

clpb.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

clpz.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

cont.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

crypto.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

dcgs.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

diag.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

dif.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

error.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

format.pl

ADDED: portray_clause/2, writing to a specified stream.

2020-06-13 16:45:47 +02:00

freeze.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

gensym.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

iso_ext.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

lists.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

ordsets.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

pairs.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

pio.pl

Merge branch 'master' of https://github.com/mthom/rusty-wam

2020-06-12 18:28:07 -06:00

queues.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

random.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

reif.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

si.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

sockets.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

tabling.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

terms.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

time.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00