
【計】 outer predicate
export; output
【計】 output; out-fan
【化】 export; output; turnout
【經】 export; exports
predication; predicative
【計】 predicate
在漢英詞典視角下,“輸出謂詞”(Output Predicate)是一個跨語言學與計算機科學的術語,其核心含義需結合語境分析。以下是分層解釋:
輸出謂詞指描述信息傳遞結果的動詞性成分,強調動作的“産出性”。
例:在句子“程式輸出結果”中,“輸出”作謂語動詞,表示“産生并傳遞數據”的動作過程。其漢英對應需關注:
在編程語境中,“輸出謂詞”特指控制數據輸出的邏輯表達式,常見于:
謂詞(如 write/1
)直接執行輸出操作,例如 write('Hello')
向屏幕輸出字符串(參考:Clocksin, Programming in Prolog)。
在Z語言等規範中,謂詞定義系統輸出約束,如:
$$ forall data: mathbb{D} mid process(data) implies output(data)
$$
(來源:Spivey, The Z Notation)
維度 | 漢語側重 | 英語側重 |
---|---|---|
語法角色 | 及物動詞,常帶賓語(輸出數據) | 及物/不及物兼用(output to file) |
語義範圍 | 強調“從内到外”的物理/抽象轉移 | 更廣泛涵蓋“生成、顯示、導出”等場景 |
技術語境 | 需明确賓語(如“輸出電流”) | 可獨立使用(The device outputs.) |
Halliday, M.A.K. An Introduction to Functional Grammar(功能語法中“物質過程”與輸出動作關聯)。
馮志偉《計算語言學基礎》(謂詞在自然語言處理中的形式化表示)。
《新世紀漢英大詞典》第2版:将“輸出”譯為 output; export,标注計算機用法。
“輸出謂詞”是多學科交叉術語,其漢英釋義需同步考慮動作方向性、賓語強制性和技術語境適配性。
“輸出謂詞”這一術語在不同領域可能有不同解釋,但結合常見使用場景,主要可以從以下兩個角度理解:
write/1
:輸出變量的值(如 write('Hello')
打印字符串)nl/0
:輸出換行符
這類謂詞在完成邏輯運算的同時,通過副作用(side effect)實現輸出功能。IO Monad
)處理輸出。此時謂詞可能被封裝到帶狀态的函數中,例如:putStrLn :: String -> IO ()-- 輸出字符串并換行
關鍵區别 普通謂詞僅返回布爾值(True/False),而輸出謂詞額外執行數據輸出操作。需注意:過度依賴輸出謂詞可能破壞程式的聲明式邏輯,需謹慎使用。
若需具體語言(如Prolog、Lisp)的代碼示例或更深入解析,可提供更具體的上下文方向。
【别人正在浏覽】