Re: Typol Execution (prolog output)

[td@babar.inria.fr (Thierry Despeyroux)]

In article <27557@sophia.inria.fr>, kuehne@isa.informatik.th-darmstadt.de (Thomas Kuehne) writes:

|> If i change the "(#:prolog:quietsend" into "(#:prolog:send" the
|> console output looks like:
|> 
|> --------------------------------------------------
|> Before Prolog
|> 1/menu$calc_menu$($PSP$cons($PSP$sint(479), $PSP$sint(-26632)))
|> Menu calculation done.
|> 
|> $STATE$s_instance($STATE$s_par($STATE$s_instance($STATE$s_choice($STATE$s_behaviour($STATE$behaviour($SLOTOS$prefix($SLOTOS$identifier(a),
|> ...
|> label_map(nil))) ~= _s_stop_1342,
|> true.
|> After Prolog
|> --------------------------------------------------
|> The strange output of a variable or whatever only happens if i import
|> the predicate "appendtree(_,_,_)" from prolog.
|> If i specify "appendtree" in TYPOL myself there is no output but i
|> get the same delay mentioned before.

When you use "send", prolog will print the goals that are still delayed
when the proof is complete.

so 

label_map(nil))) ~= _s_stop_1342,
true.

means that the query is proved, provided that label_map(nil))) ~= _s_stop_1342.
And because the prolog variable _s_stop_1342 is not instantiate, this goal
cannot be checked.

The predicate "appendtree" written in Prolog have wait declarations. Both
the two first arguments or the last one must be instantiated when calling
"appendtree". If this is not the case, the goal is delayed.

Does this answer your question ?

Thierry.

-- 
Send contributions to centaur@sophia.inria.fr. Registration and
administrative matters should be sent to centaur-request@sophia.inria.fr.
+---------------------------------------------------------------------------+
|     Thierry Despeyroux      | email: Thierry.Despeyroux@sophia.inria.fr   |
| I.N.R.I.A. Sophia-Antipolis | phone: +33 93 65 77 07 fax: +33 93 65 77 66 |
+---------------------------------------------------------------------------+