A fact dependency system for the logic programmer

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

A fact dependency system for the logic programmer

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

Research output: Contribution to journal › Article › peer-review

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 language	English
Pages (from-to)	235-240
Number of pages	6
Journal	Computer-Aided Design
Volume	15
Issue number	4
Publication status	Published - Jul 1983

Keywords

fact dependency system
logic programming
Prolog

Cite this

@article{b1a9ac0bf4204a3692690e9491a00cc7,

title = "A fact dependency system for the logic programmer",

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. {\textcopyright} 1983.",

keywords = "fact dependency system, logic programming, Prolog",

author = "Swinson, \{P S G\} and Pereira, \{F. C N\} and Aart Bijl",

year = "1983",

month = jul,

language = "English",

volume = "15",

pages = "235--240",

journal = "Computer-Aided Design",

issn = "0010-4485",

publisher = "Elsevier Ltd",

number = "4",

}

TY - JOUR

T1 - A fact dependency system for the logic programmer

AU - Swinson, P S G

AU - Pereira, F. C N

AU - Bijl, Aart

PY - 1983/7

Y1 - 1983/7

N2 - 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.

AB - 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.

KW - fact dependency system

KW - logic programming

KW - Prolog

UR - https://www.scopus.com/pages/publications/0020783376

M3 - Article

SN - 0010-4485

VL - 15

SP - 235

EP - 240

JO - Computer-Aided Design

JF - Computer-Aided Design

IS - 4

ER -

A fact dependency system for the logic programmer

Abstract

Keywords

Other files and links

Fingerprint

Cite this