Learn More
With the advent of cost-eeective massively parallel computers, researchers conjecture that the future constraint logic programming system is composed of a massively parallel constraint solver as the back-end with a concurrent inference engine as the front-end Coh90]. This paper represents an attempt to build a constraint logic programming system on a(More)
Firebird 12] is a data-parallel concurrent constraint programming system. It is shown that nite domain constraint languages can be implemented on massively parallel SIMD machines. Firebird has been further enhanced with parallel backtracking capability and the design of the Data-Parallel Abstract Machine, the basis of Firebird's implementation, has been(More)
  • 1