The Logic Programming Paradigm and Prolog
<|reference_start|>The Logic Programming Paradigm and Prolog: This is a tutorial on logic programming and Prolog appropriate for a course on programming languages for students familiar with imperative programming.<|reference_end|>
@article{apt2001the,
    title={The Logic Programming Paradigm and Prolog},
    author={Krzysztof R. Apt},
    journal={arXiv preprint arXiv:cs/0107013},
    year={2001},
    archivePrefix={arXiv},
    eprint={cs/0107013},
    primaryClass={cs.PL cs.AI}
}