We define a framework for writing executable declarative specifications which incorporate categorical constraints on data, Horn Clauses and datatype specification over finite-product categories. We construct a generic...
详细信息
Logic languages can deal with non-deterministic computations via built-in search facilities. However, standard search methods like global backtracking are often not sufficient and a source of many programming errors. ...
详细信息
the explicitly parallel programming language Eden adds a coordination level to the lazy functional language Haskell. this paper describes how a compiler and runtime system for Eden can incrementally be built on the ba...
详细信息
this paper deals withthe incremental detection of implicit equalities using the revised simplex method. this algorithm is more efficient and more suitable to practical problems than the tableau method usually applied...
详细信息
We introduce a semantics of Logic programming based on an classical Game theory, which is proven to be sound and complete w.r.t. the traditional operational semantics and Negation as Failure. this game semantics is ba...
详细信息
In logic programming, almost no work has been done so far on proving that certain queries cannot succeed. Work in this direction could be useful for queries which seem to be non-terminating. Such queries are not excep...
详细信息
the development of intelligent software agents and other complex applications which continuously interact withtheir environments has been one of the reasons why explicit concurrency has become a necessity in a modern...
详细信息
We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology to advance the state of the art of system specification and verification. In particular...
详细信息
Several complete methods for solving linear Diophantine constraints have been proposed. they can handle infinite domains, but their pruning during search is relatively weak. In contrast to those, consistency technique...
详细信息
In this paper we present an approach to database querying based on fuzzy evaluation of queries. In the approach a dedicated mining for domain knowledge is involved. the result of this is a special kind of associations...
详细信息
暂无评论