[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

A couple of questions ...




Hello,

I have specified a beta-reducer for the lambda calculus (well almost...)
but am having difficulty with the trigger rules. 

The following are the judgements:

   judgement ();
   judgement  |- EXP, IDE, EXP -> EXP; [ this to stand for [E1/I]E2 ]

And the trigger rule is:

   |- exp1_tree, ide_tree, exp2_tree -> e'
   --------------------------------------
   (); 
     provided 
         gettree("exp1_typol_object", subject, exp1_tree)&
         gettree("ide_typol_object", subject, ide_tree)&
         gettree("exp2_typol_object", subject, exp2_tree);
     do
         write(e');

What exactly is the problem with the above trigger rule? 

[    I created the typol objects one after the other in the centaur
window and then did a ({prolog}:send "subst.") (subst.ty being the name
of the typol file). This gave the error :

exp1_typol_object not found.  ]


One last question...

What needs to be done when the following error message occurs?

"Erreur fatale - zone des listes pleine"

Here are my attempts:

(1) centaur 2

This gave the error message :

Le-Lisp : image memoire trop grosse ...
/usr/centaur/centaur/sources/sun4OS4/centaur: 17497 Memory fault - core dumped

(2) lelisp 4

This gave the error message :

lelisp: /usr/ilog/lelisp/sun4/lelispbin: not found

--anindya