A fact dependency system for the logic programmer |
| |
| Authors: | Peter S.G. Swinson Fernando C.N. Pereira Aart Bijl |
| |
| Affiliation: | 1. EdCAAD Studies, Department of Architecture, University of Edinburgh, Edinburgh, UK;2. Department of Building, Heriot-Watt University, Edinburgh, UK;3. SRI International, Menlo Park, CA, USA |
| |
| 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. |
| |
| Keywords: | logic programming fact dependency system Prolog |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
