• Computer Science
  • Published in ICLP 1991

NUA-Prolog: An Extension to the WAM for Parallel Andorra

@inproceedings{Palmer1991NUAPrologAE,
  title={NUA-Prolog: An Extension to the WAM for Parallel Andorra},
  author={Doug Palmer and Lee Naish},
  booktitle={ICLP},
  year={1991}
}
The Andorra Kernel Language (AKL), also known as the Agents Kernel Language, is a logic programming language that combines both don’t know nondeterminism and stream programming. This thesis reports on the design and construction of an abstract machine, the DAM, for the parallel execution of AKL programs. Elements of a compiler for the DAM are also described. As part of the development of the DAM, a bottom-up abstract interpretation for AKL and a logic semantics for the AKL, based on interlaced… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 26 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 11 REFERENCES

NUA-Prolog: An extension to the WAM for parallel Andorra

Doug Palmer, Lee Naish
  • Koichi Furukawa, editor,Proceedings of the Eighth International Conference on Logic Programming, pages 429–442, Paris, France,
  • 1991
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Nu-prolog reference manual

VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

even with contention

Maged Michael, Michael Scott. Fast mutual exclusion
  • Technical report, University of Rochester, Rochester, NY 14627, June
  • 1993
VIEW 1 EXCERPT

NY 14627

Thomas LeBlanc, Evangelos Markatos. Shared memory vs. message passing in sha report, University of Rochester, Rochester
  • April
  • 1992
VIEW 1 EXCERPT

Technical Report UCB/CSD 86/263

Jung-Heng Chang. High performance execution of logic program analysis
  • Univerity of California at Berkeley,
  • 1985
VIEW 1 EXCERPT

Technical Note 309

David H.D. Warren. An abstract Prolog instruction set
  • SRI International, Menlo Park, California, October
  • 1983
VIEW 1 EXCERPT