實質空間之宣告式語言描述方法

Declarative Languages for Describing Physical Space

林峯田(Feng-Tyan Lin)

《國立台灣大學建築與城鄉研究學報》 5期 (1990/02) Pp. 141-151

https://doi.org/10.6154/JBP.1990.5.012

摘要

近年來，宣告式語言的發展在計算機科學界受到相當的重視，它被認爲是電腦邁向人工智慧境界所必須具作備的條件之一。但是，它在實質空間環境的規則與設計應用領域，仍未受到應有的重視。從使用者的觀點來看，一種以描述問題結構爲取向的語言，毋寧是必要的，它可讓使用者免除於程式設計的細節工作。本文從描敍實質空間環境的應用需求角度，介紹了一些具代表性的宣告式語言。

關鍵字

宣告式語言 ； 多型代數語言 ； 形式語言 ； 邏輯語言 ； 限制式邏輯語言

並列摘要

In these years computer scientists have devoted a lot of efforts to the development of declarative languages which constitute an essential part in the field of artificial intelligence However, only a few planners and physical designers recognize the potential usages of declarative languages From the viewpoint of users, declarative languages provide an environment such that users can concentrate on the problems which they are interested without worrying about the details of programming design This article introduces some declarative languages, such as many sorted algebraic language, formal language, logic programming language (Prolog), and constraint logic programming language, by which the spatial objects can be described.

並列關鍵字

Declarative Language ； Many-sorted Algebraic Language ； Formal Language ； Logic Programming Language ； Constraint Logic Programming Language