摘 要：文章以一種新型的邏輯程序設計語言——GOuml;del語言為例，對邏輯程序設計語言與現(xiàn)代軟件工程主要思想和方法的結合情況進行了初步探討。GOuml;del語言通過引入模塊系統(tǒng)、類型系統(tǒng)和延遲計算機制等不同于以往邏輯程序的新機制，能夠支持現(xiàn)代軟件設計的一些主流方法。模塊系統(tǒng)提供了組織大規(guī)模程序的方法，并通過結合類型系統(tǒng)實現(xiàn)了對抽象數(shù)據(jù)類型程序設計的支持，從而能夠支持面向?qū)ο蟪绦蛟O計；延遲計算則使利用該語言所編制的軟件在可重用性方面獲得提升。

關鍵詞：GOuml;del語言；軟件開發(fā)方法；模塊系統(tǒng)；類型系統(tǒng)；延遲計算