XSB Src (SVN)-old

Brought to you by: carlandersen, dwarren, evansbj, kifer, and 3 others

Commit [r2522] Maximize Restore History

(1) enable bform in rule heads

(2) enhance flrwrapper. new type 'flora' added that can be
used to decoded builtin predicates in trailers
(3) encode predicates in the trailers like firstorder but
with the normal prefix (not first order prefix)
(4) add new directive for .fli files:
FL_FLOGICSTATIC for firstorder like trailer predicates
FL_FLORAPATCH for generating Flora-specific patch rules
(5) enhance loading & compiling routines

Authored by: gzyang 2001-06-27

Browse code at this revision

Parent: [r2521]

Child: [r2523]

1 2 > >> (Page 1 of 2)

changed	/trunk/XSB/packages/flora2/Makefile
changed	/trunk/XSB/packages/flora2/closure/Makefile
changed	/trunk/XSB/packages/flora2/closure/flrcommon.fli
changed	/trunk/XSB/packages/flora2/closure/flreqltrailer.fli
changed	/trunk/XSB/packages/flora2/closure/flrtrailer.fli
changed	/trunk/XSB/packages/flora2/closure/includes/flrpred.fli
added	/trunk/XSB/packages/flora2/debugger/flrcompileinclude.H
added	/trunk/XSB/packages/flora2/debugger/flrcompileinclude.P
changed	/trunk/XSB/packages/flora2/flrcoder.H
changed	/trunk/XSB/packages/flora2/flrcoder.P
removed	/trunk/XSB/packages/flora2/flrcompileinclude.H
removed	/trunk/XSB/packages/flora2/flrcompileinclude.P
changed	/trunk/XSB/packages/flora2/flrcompiler.H
changed	/trunk/XSB/packages/flora2/flrcompiler.P
changed	/trunk/XSB/packages/flora2/flrincludes/flora_errors.flh
changed	/trunk/XSB/packages/flora2/flrincludes/flora_terms.flh
changed	/trunk/XSB/packages/flora2/flrnohilog.H
changed	/trunk/XSB/packages/flora2/flrnohilog.P
changed	/trunk/XSB/packages/flora2/flroperator.P
changed	/trunk/XSB/packages/flora2/flrparser.H
changed	/trunk/XSB/packages/flora2/flrparser.P
changed	/trunk/XSB/packages/flora2/flrutils.H
changed	/trunk/XSB/packages/flora2/flrutils.P
changed	/trunk/XSB/packages/flora2/flrwrapper.H
changed	/trunk/XSB/packages/flora2/flrwrapper.P