Menu ▾ ▴

Commit [r2203]  Maximize  Restore  History

Added a predicate write_canonical_lettervar/1 to write variables in
number-varred terms as A,B,C...

tswift 2001-02-14

Browse code at this revision

Parent: [r2202]

Child: [r2204]

changed /trunk/XSB/syslib/xsb_writ.H
changed /trunk/XSB/syslib/xsb_writ.O
changed /trunk/XSB/syslib/xsb_writ.P
/trunk/XSB/syslib/xsb_writ.H Diff Switch to side-by-side view
Loading...
/trunk/XSB/syslib/xsb_writ.O
Binary file was changed.
/trunk/XSB/syslib/xsb_writ.P Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB