[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
TYPOL stack
- To: centaur@sophia.inria.fr
- Subject: TYPOL stack
- From: jperez@lsi.upc.es (Javier Perez)
- Date: 13 Oct 93 10:40:17 GMT
- X400-Received: by /PRMD=inria/ADMD=atlas/C=fr/;Relayed; 13 Oct 93 12:03:29+0100
- X400-Received: by /PRMD=iris/ADMD=mensatex/C=es/;Relayed; 13 Oct 93 11:40:17+0100
A question about the stack: is it possible to save some TYPOL stack by
calling a TYPOL judgement from a PROLOG predicate and then using the cut
operator:
p(X, Y, Z):-
'test$test$0|-2:1'(X, Y, Z, '$PSP$nil', '$PSP$nil',_), !.
This is a call to a judgement of the set "test" in the program "test".
If this saves some stack it could be a solution to the heavy stack problems
of TYPOL.
Javier
Perez