COMPUTING WITH LOGIC LOGIC PROGRAMMING WITH PROLOG
DAVID MAIER1987 年出版535 页ISBN:0805366814
SYSTEM SIMULATION PROGRAMMING STYLES AND LANGUAGES
2222 年出版366 页ISBN:0201129140
Parallel and constraint logic programming an introduction to logic
parallelism and constraints1998 年出版145 页ISBN:0792393710