短語詞組短語logic in programming 程序設(shè)計中的邏輯Logic solver programming function 邏輯程序功能logic constraint programming 約束邏輯程序logic of programming 程序設(shè)計邏輯Mathematical Logic and Programming language 數(shù)理邏輯和程序設(shè)計語言Logic Programming Language 邏輯式語言;邏輯程序語言;邏輯式程序設(shè)計語言;邏輯程序設(shè)計語言Computationally Extended Logic Programming 計算延伸邏輯程序設(shè)計disjunctive logic programming 析取邏輯程序 返回 logic programming