• Computer Science
  • Published in Logic Programming Workshop 1983

PRISM - A Parallel Inference System for Problem Solving

@inproceedings{Kasif1983PRISMA,
  title={PRISM - A Parallel Inference System for Problem Solving},
  author={Simon Kasif and Madhur Kohli and Jack Minker},
  booktitle={Logic Programming Workshop},
  year={1983}
}
A Parallel Inference System for Problem Solving (PRISM) developed at the University of Maryland. The system is designed to general experimental tool for the construction of large artificial gence problem solvers. 124 has been provide a intelliWe present some of the basic facilities for controlling parallelism and inference provided by the system. PRISM is based on the concept of logic programming with a separate control componenent. The control may either be explicitly specified by the user in… CONTINUE READING

Citations

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

DISTRIBUTED MULTI-AGENT PLANNING

VIEW 5 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Survey on special purpose computer architectures for AI

VIEW 8 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Implementation of a parallel Prolog interpreter on multiprocessors

Parallel Execution of Logic Programs

VIEW 1 EXCERPT
CITES METHODS

Potentiality of Parallelism in Logic

  • Franz J. Kurfess
  • Computer Science
  • Dagstuhl Seminar on Parallelization in Inference Systems
  • 1990

An Or Processing Multiprocessor System For Artificial Intelligence

VIEW 1 EXCERPT
CITES METHODS

References

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

Negation as Failure", in Logic and Databases, H

  • K. L. Clark
  • Gallaire and J. Minker (Eds.), Plenum Press,
  • 1978
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Concurrent Logic Programming", in Logic Programming, K.L. Clark and S-A

  • C. J. Hogger
  • Tarnlund (Eds.),
  • 1982

Functional Specification of the ZMOB Parallel Problem Solving System

  • J. Minker, C. Asper, +5 authors R. Piazza
  • Technical Note Z-1,
  • 1982

ZMOB: Hardware from a User's Point of View", TR-1042

  • Rieger
  • Dept. of Computer Science, University of Maryland,
  • 1981