Specification and initialization of a logic computer system

@article{Kusalik1986SpecificationAI,
  title={Specification and initialization of a logic computer system},
  author={Anthony J. Kusalik},
  journal={New Generation Computing},
  year={1986},
  volume={4},
  pages={189-209}
}
A logic computer system consists of an inference machine and a compatible logic operating system. This paper describes prospective models for a logic computer system, and its hardware and software components. The language Concurrent Prolog serves as the single implementation, specification, and machine language. The computer system is represented as a logic programming goallogic_computer_system. Specification of the system corresponds to resolution of this goal. Clauses used to solve the goal… CONTINUE READING

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
4 Extracted Citations
0 Extracted References
Similar Papers