[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
several questions
- To: centaur@sophia.inria.fr
- Subject: several questions
- From: jperez@lsi.upc.es (Javier Perez)
- Date: 7 Jul 93 14:00:12 GMT
- X400-Received: by /PRMD=inria/ADMD=atlas/C=FR/;Relayed; 07 Jul 93 16:07:14+0200
- X400-Received: by /PRMD=cicb/ADMD=atlas/C=FR/;Relayed; 07 Jul 93 16:05:10+0200
- X400-Received: by /PRMD=iris/ADMD=mensatex/C=es/;Relayed; 07 Jul 93 16:00:12+0200
I want to make several questions/comments:
1)
I want to report what I think is a bug in TYPOL. I have made a program
in TYPOL that uses the recovery rules to implement a simple nagation.
The program runs OK when the module -------------- is loaded either
by calling {debug}:start or by compiling a TYPOL program.
But when this module is not loaded, when the program has to apply a
recovery rule it hangs. I have monitorized the load of the machine by
means of the xload program (widely known), and when the program
reaches the first recovery rule the load falls down until the machine
appears to be idle.
2)
I suppose it is possible to call a TYPOL predicate from a prolog function,
I will like to know if this is safe to do, and how has to be done.
3)
I have heard that Centaur 1.3 is about to be shipped, I will like to
know which is the ship date, and I would appreciate it if you can make
me a little summary of the improvements of this version on TYPOL.