prologize

vi.

作序，写序诗，念开场白；

Artemis Prologizes
“MOSES PROLOGIZES”: MILTON AND EZEKIEL'S “EXAGOGE”
Optimism
The inductive approach to verifying cryptographic protocols
Inside a software design team: knowledge acquisition, sharing, and integration
Expert system, fuzzy logic, and neural network applications in power electronics and motion control
Starburst Mid-Flight: As the Dust Clears
Sequence query processing
A general framework for semantics-based bottom-up abstract interpretation of logic programs
A framework for implementing pluggable type systems