Real life applications involve entities and algorithms that are complex to model and implement. Logic programming, the most practical approach of logic, facilitates the development procedure for these applications. However, its declarativeness does not seem suucient to provide the means for the implementation of fully usable systems. In this paper, we… (More)
Figures and Tables
Sorry, we couldn't extract any figures or tables for this paper.