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