[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