Alain Hui-Bon-Hoa

  • Citations Per Year
Learn More
Abst rac t . A direct support for scopes appears to be essential for logic programming languages, in those applications, like meta-programming, needing to distinguish between various levels of reasoning. However, dealing with scoping constructs in a logic programming language notably causes the set of constants to evolve dynamically during the computation,(More)
Some recent works rely on the intuitionistic theory of Hereditary Harrop formulas to provide extensions for Horn clauses while preserving the logic paradigm. In particular, an intuitionistic implication is used to provide some form of scoping. However the lack of appropriate evaluation strategies, notably a strategy relying on a forward-chaining search, has(More)
We present the work undertaken by the Evolution and Seismic Tools Activity (ESTA) team of the CoRoT Seismology Working Group. We have focused on two main tasks: Task 1 – now finished – has aimed at testing, comparing and optimising seven stellar evolution codes which will be used to model the internal structure and evolution of the CoRoT target stars. Task(More)