| 释义 |
pro·log
\ˈprōˌlȯg, -ˌläg\ noun
(-s)
Usage: usually capitalized P or all capitalized
Etymology: programming in logic
: a computer programming language that is designed for easy expression of relationships among objects, is based on the precepts of the predicate calculus of symbolic logic, and is used especially in artificial intelligence |