_____             
| ____|___ ___ ___ 
|  _| / __/ __/ _ \
| |__| (_| (_|  __/
|_____\___\___\___|


Ecce Light - TclTk Release

This is a simple release, which has been precompiled for the standard
settings. One can customise the post-processing, but one cannot
change the unfolding rule, the whistle, ...

Try to open the sample.pl file and specialise it for the default query.


Notes:
* Do not change the location and name of the files within the ECCE directory !
*  Be sure that you have Tcl/Tk installed
  (see, e.g., http://www.tcl.tk/software/tcltk/).
   For the moment you actually have to install Tcl/Tk version 8.3 
   (e.g., version 8.3.5) and not 8.4 for the Windows version!
   For Windows you can find a correct version of Tcl/Tk at
              http://downloads.activestate.com/ActiveTcl/Windows/8.3.5/
       (Thanks to Stephane Lo-Presti for getting the Windows port of Ecce to work.)
   For Linux you need version for 8.3 or later (?).
   The Mac version needs Tcl/Tk 8.4
   (or you need your own SICStus licence and use sicstus -r ecce.sav).
* On Unix: Change (cd) to the ECCE directory and then start up ecce_???.exe file
   corresponding to your platform.
* The result for the sample.pl file and the sample query append([a,b,c|A],B,C) should be:
    
/* Specialised program generated by Ecce 1.1 *//* PD Goal: append([a,b,c|A],B,C) */
/* Parameters: Abs:l InstCheck:v Msv:s NgSlv:g Part:e Prun:n Sel:t Whstl:f Raf:yesFar:yes Dce:yes Poly:y Dpu:yes ParAbs:yes Msvp:no Rrc:yes */
/* Transformation time: 0 ms */
/* Unfolding time: 0 ms */
/* Post-Processing time: 0 ms */

/* Specialised Predicates: 
append__1(A,B,C) :- append([a,b,c|A],B,C).
append__2(A,B,C) :- append(A,B,C).
*/

append([a,b,c|A],B,C) :- 
    append__1(A,B,C).
append__1([],A,[a,b,c|A]).
append__1([A|B],C,[a,b,c,A|D]) :- 
    append__2(B,C,D).
append__2([],A,A).
append__2([A|B],C,[A|D]) :- 
    append__2(B,C,D).