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

Typol determinism



Hi everyone,

	I'm working with centaur2.0, and i have a little problem.

	Typol is deterministic, indeed if you have two rules writed 
for the same operator, if the first one succeeds during the evaluation,
 the second is never evaluated. 
	
	I would like to know if it's possible to ``ask'' to typol to 
evaluate the second, in order to realize backtracking on success as 
prolog is used to do. Is it possible to modify the way typol write 
his sp files ? Is there something to do ?

	Does anybody know how i can do it ?

	Many thanks in advance,


		pascal.

prieur@irit.fr