A fact dependency system for the logic programmer

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

    Research output: Contribution to journalArticlepeer-review

    3 Citations (Scopus)


    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
    Issue number4
    Publication statusPublished - Jul 1983


    • fact dependency system
    • logic programming
    • Prolog


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

    Cite this