理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- Erich Moritz von Hornbostel
- Erich Salomon
- Erich Segal
- Erichsen cupping test
- Erich von Stroheim
- Erich Wolfgang Korngold
- Eric John Aiton
- Eric John Ernest Hobsbawm
- Eric Kandel
- Eric Ketelaar
- Erickson's eight stages of development
- Eric Maskin
- Eric Moon
- Eric Richard Kandel
- Eric Voegelin
- Eridalus Filaments
- Eridalus Hot Spot
- Eridalus Shell
- Eridanus
- Eridite
- Eridu Site
- Erie Canal
- Erigeron breviscapus root-knot nematode disease
- erigerontis herba
- Erika Fischer-Lichte