《複雜對象邏輯程式設計語言的研究與實現》是依託中山大學，由李磊擔任項目負責人的面上項目。
基本介紹
- 中文名：複雜對象邏輯程式設計語言的研究與實現
- 項目類別：面上項目
- 項目負責人：李磊
- 依託單位：中山大學
- 負責人職稱：教授
- 申請代碼：F0305
- 研究期限：1994-01-01 至 1996-12-31
- 批准號：69375013
- 支持經費：6（萬元）
中文摘要
複雜問題的研究不但是邏輯程式設計，而且是資料庫領域的一個重要的研究課題。我們研究了目前具有代表意義和支持複雜對象的邏輯程式設計語言，如Colo LDLI, LPS和HILOG，進行了研究，並提出了SETLOG邏輯程式設計語言。在SetloG中我們首先提出了SL集合的概念。SL集合的概念解決了LDL1中集合全等的過於平凡的問題，也解決了任意集合一的實際不可計算問題。我們研究了Setlog的證明論和過程性語義。並取得了一些有趣的結果。但是由於時間不足（原來對問題難認識不足）。對Setlog的模型論意義和一致性完備性問題還沒有來得及評論。在此項研究中共撰寫兩篇論文，一篇發表於軟體學報，另一篇已通過軟體學報一審，還完成一篇碩士論文，其它論文將在97年發表。
