All the files are owned by ECMI05: - the PD file C contains all the C source - the PD file H contains all the header files referred to in #include directives, apart from 'standard' ones like "stdio" which I assume are somehow provided by the EMAS C support. - the PD file PL conatins all the Prolog files that need to be read at boot time in order to create a runnable system. After reading in all these files ONCE, the system state is saved, and it is this saved state which the world at large should use thereafter. NOTE WELL: I have not made ANY modifications to the UNIX version source that might tailor it to EMAS, since I know nothing of the EMAS C compiler. In particular, you may have to change all the #include ...... lines in the C source files. If you want a (UNIX) cross reference listing, let me know. I am: ECMI01@emas peter@edai Peter Ross, central area extension 2557 Basically, you need to read this file and README to understand how to tailor this Prolog to a new machine, e.g. EMAS 2900. Once you've customised the individual files, I expect that you will need to do something like the following. On UNIX the -O invokes a code optimiser, the -DFOLD is a quick way of adding the line #define FOLD to every file. The FOLD option causes a newline to be inserted in output to the terminal at least once every 80 characters, if none have been seen up to then. This is handy for those working on terminals that do not wrap at the right margin, and it is also really bad news for those who wish to issue really fancy screen control sequences direct from Prolog. The commands might be: cc -O -DFOLD c_arith cc -O -DFOLD c_auxfn cc -O -DFOLD c_compare cc -O -DFOLD c_dbase cc -O -DFOLD c_main cc -O -DFOLD c_parms cc -O -DFOLD c_rewrite cc -O -DFOLD c_space cc -O -DFOLD c_sysbits cc -O -DFOLD c_unify or you might want to leave out the flags. Link all the resulting object files together with the maths library, call the resulting executable file 'prolog'. Then (using the EMAS equivalent to the following UNIX command): Command: prolog -b pl_init then type the following to prolog when you get the '| ?- ' prompt: [pl_all]. This should cause all the boot files to be loaded. Then type the following to prolog when you get the '| ?- ' prompt: :- save(startup), ( exists('prologrc') -> consult('prologrc') ; true ). then type the following to prolog when you get the '| ?- ' prompt: halt. exactly as you see it here, full stops and all (the full stops are vital). At that point you should have a (big) file called 'startup', and one can restart prolog in future by the command Command: prolog startup