A Logic Program Development Methodology

This research is set in the framework of the logic program development methodology described in [Deville 90]. In order to keep this book self-sufficient, we summarize that methodology, and put special focus on aspects directly related to our research. This summary mainly states results, and not always their motivations or proofs refer to [Deville 90] when in need of further explanations. 

The original promise of programming in (first-order) logic when using Prolog is impaired by the following facts  

But all these features have been deliberately chosen so as to make Prolog a practical programming language. 

Such a methodology has been formulated. It aims at programming-in-the-small, and is (mainly) meant for algorithmic problems. It is sub-divided into three stages  

Stage B is based only on the declarative semantics of logic, and is independent of the target logic programming language used at Stage C. 

---

Evaluating the Melt Index (MI) from the Flow Curve Develop a methodology and computer program logic to evaluate the Melt Index (ASTM Standard D) of a material from its flow curve (non-Newtonian viscosity as a function of shear rate). 

---