Bo-Ming Tong

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)
Maher proposed the ALPS class of committed-choice languages, which can be seen as a further development of concurrent logic programming languages in the direction of CLP(X). However, due to the lack of OR-nondeterminism, ALPS is a class of declarative algorithmic programming languages. In this paper, we present the FENG class of concurrent constraint logic(More)
We consider or-parallel logic programming implementations on parallel machines with no shared-memory. Traditional implementation techniques as employed in Aurora and Muse are not applicable. In our orparallel execution model, all processors perform identical work initially. At each choice point, processors are divided evenly among alternatives of the choice(More)
  • 1