/* call the editor */ em(File) :- (retract(emfile(X));true), assert(emfile(File)), emas(em,File). rem(File) :- em(File), reconsult(File). em :- emfile(File), emas(em,File). rem :- emfile(File), emas(em,File), reconsult(File).