摘要：直觀地說(shuō),簡(jiǎn)潔性是指一個(gè)邏輯系統(tǒng)緊湊表示問(wèn)題的能力。近年來(lái)關(guān)于簡(jiǎn)潔性的研究逐漸得到人們的關(guān)注。本文將討論兩類(lèi)邏輯程序,即基數(shù)約束程序(Cardinality Constraint Programs,CCP)與前提嵌套程序(Nested Logic Programs,NLP)之間的簡(jiǎn)潔性。我們?cè)O(shè)計(jì)了一個(gè)從CCP到NLP多項(xiàng)式長(zhǎng)度的等價(jià)翻譯,這極大改進(jìn)了Ferraris和Lifschitz提出的指數(shù)長(zhǎng)度翻譯方法,由此證明NLP至少與CCP一樣簡(jiǎn)潔。