[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Typol determinism
- Subject: Typol determinism
- From: prieur@smart.irit.fr (Pascal PRIEUR)
- Date: 13 Feb 1995 10:10:28 +0100
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