理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- willingness to accept
- willingness to pay
- Willman Ⅰ dwarf galaxy
- Willmore
- Willmore conjecture
- Willmore functional
- will of sports
- Willow
- Willow and Swallow Scroll by Shen Shou
- willow family
- willowleaf mosquitotrap
- willowleaf rhizome
- willow-leaf-shaped vase
- willow scrub
- willow spittlebug
- Willow，crow，reed，Wild goose by Zhao Ji
- Will power
- Willstrop telescope
- will to live
- will to power
- will training
- Willy Messerschmitt
- Willy Ronis
- Willy Russell
- Wilmot Proviso