TY  - RPRT
TI  - The Logic Programming Paradigm and Prolog
AU  - Krzysztof R. Apt
PY  - 2001
UR  - https://arxiv.org/abs/cs/0107013
ID  - cs/0107013
ER  -