A fact dependency system for the logic programmer

P S G Swinson, F. C N Pereira, Aart Bijl

    Research output: Contribution to journalArticle

    Abstract

    We describe experimental work in logic programming for architects, leading to the setting up of a fact dependency system. The system operates as an interpreter of the user's instructions, storing his decision and the conclusions inferred from those decisions. Consistency from a user's point of view is automatically maintained. A separate introduction to the Prolog logic programming language is appended to this paper. © 1983.

    Original languageEnglish
    Pages (from-to)235-240
    Number of pages6
    JournalComputer-Aided Design
    Volume15
    Issue number4
    Publication statusPublished - Jul 1983

    Keywords

    • fact dependency system
    • logic programming
    • Prolog

    Fingerprint Dive into the research topics of 'A fact dependency system for the logic programmer'. Together they form a unique fingerprint.

  • Cite this

    Swinson, P. S. G., Pereira, F. C. N., & Bijl, A. (1983). A fact dependency system for the logic programmer. Computer-Aided Design, 15(4), 235-240.