BRAVE—a parallel logic language for artificial intelligence

Reynolds, T.J.; Beaumont, Anthony; Cheng, Anthony S. K.; Delgado-Rannauro, S. A.; Spacek, Libor

doi:10.1016/0167-739x(88)90020-9

Cited by 8 publications

(2 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The conditional marker plays a similar role to that of the cut at the end of the clause. For !%rther details, the interested xeader is directed to (Reynolds et al, 1987) stacks. The split stack gives more freedom for the implementation of scheduling functions with the or-nodes.…”

Section: Figure 2: Shared Binding Treementioning

confidence: 99%

See 1 more Smart Citation

A message driven OR-parallel machine

Delgado-Rannauro¹,

Reynolds

1989

Proceedings of the Third International Conference on Architectural Support for Programming Languages and Operating Systems

View full text Add to dashboard Cite

A message driven architecture for the execution of ORparallel logic languages is proposed. The computational model is based on well known compilation techniques for Logic Languages. We present fist the multiple binding mechanism for the OR-parallel Prolog architecture and the correspondiig OR-parallel abstract machine is described.A scheduling algorithm which does not rely upon the availability of global data structures to direct the search for work is discussed. The message driven processor, the processing node of the parallel machiie, is designed to interact with a shared global address space and to efficiently process messages from other processing nodes. We discuss some of the results obtained from a high level functional simulator of the message driven machine.

show abstract

Section: Figure 2: Shared Binding Treementioning

confidence: 99%

“…(Reynolds et al, 1987), (Baron et al, 1988)), their findings indicate that the exploitation of OR-parallelism can lead to independent computation with low communication overhead. The size of the independent computation is directly related to the size of the problem and the size of the parallel architecture.…”

Section: Introductionmentioning

confidence: 99%