Declarative Languages for Describing Physical Space
Resource
建築與城鄉學報, 5, 141-151
Journal
建築與城鄉學報
Journal Issue
5
Pages
141-151
Date Issued
1990-02
Date
1990-02
Author(s)
Lin, F.T.
Abstract
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.
Subjects
宣告式語言
多型代數語言
形式語言
邏輯語言
限制式邏輯語言
Declarative Language
Many-sorted Algebraic Language
Formal Language
Logic Programming Language
Constraint Logic Programming Language
Type
journal article