理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- Shanghai Dasha
- Shanghai Delivering Library
- Shanghai Dielai Photo Studio
- Shanghai Disneyland Park
- Shanghai Document
- Shanghai Drama Art Center
- Shanghai Drama Skill Society
- Shanghai Dreams
- Shanghai Duolun Museum of Modern Art
- Shanghai Electric Company
- Shanghai Electric Machinery Factory
- Shanghai Electronic Arts Festival
- Shanghai Entomological Museum, C.A.S
- Shanghai Evening Post and Mercury
- Shanghai Experimental Film Workshop
- Shanghai Extreme Sports Chanllenge
- Shanghai Farce Troupe
- Shanghai Feiyang Ice Sports Center
- Shanghai Film
- Shanghai Film Academy of Shanghai University
- Shanghai Film and Drama Company
- Shanghai Film Bureau
- Shanghai Film Dubbing Studio
- ShangHai Film Group
- Shanghai Film Industry Saves Congress