We present in a tutorial way some ideas developed in the context of the Ciao Prolog system that we believe could be useful for the future evolution of Prolog. We concentrate primarily on one area: the use of assertions with types, modes, and other properties, and how the unique characteristics of Prolog have made early advances possible in the area of combining static and dynamic language features. However, we also address briefly some other issues related to extending the expressiveness and functionality of the language.
We present in a tutorial way some ideas developed in the context of the Ciao Prolog system that we believe could be useful for the future evolution of Prolog. We concentrate primarily on one area: the use of assertions with types, modes, and other properties, and how the unique characteristics of Prolog have made early advances possible in the area of combining static and dynamic language features. However, we also address briefly some other issues related to extending the expressiveness and functionality of the language. Read More
Related posts:
Some thoughts on how to teach prolog
Teaching pure LP with prolog and a fair search rule.
An s(CASP) in-browser playground based on Ciao Prolog
Towards verification of higher-order (constraint) logic programs via abstract interpretation
Teaching prolog with active logic documents
Arduino based monitoring system for materials used in façade
rehabilitation − Experimental study with lime mortars