constraint Logic programming (CLP) tries to unify the best from Logic programming and constraint Satisfaction. However, implementors of languages of the CLP class such as the CLP (R) must solve some unique problems su...
详细信息
When working with programming languages, it is often necessary to have meta-programs, such as compilers or interpreters, which can manipulate programs in those languages. The semantics of meta-programs for constraint ...
详细信息
The use of constraints within logic programming and within database languages promises interesting new applications. We show that Datalog queries with simple integer order constraints can be evaluated bottom-up in clo...
详细信息
暂无评论