The Logic Programming Paradigm and Prolog

2001/07/10 by Krzysztof R. Apt, Apt, Krzysztof R.
Computer Science · #Artificial Intelligence (cs.AI) #D.1.6 #D.3.2 #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL) #cs.AI #cs.PL

paper · pdf · doi:10.48550/arxiv.cs/0107013

37 pages; unpublished

openalex publication_date 2001/07/10 · arxiv created 2001/07/12 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

This is a tutorial on logic programming and Prolog appropriate for a course on programming languages for students familiar with imperative programming.

Related

• The Prolog Debugger and Declarative Programming. Examples
• Introduction to the 26th International Conference on Logic Programming\n Special Issue
• Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)
• The Prolog debugger and declarative programming
• The Logic of Logic Programming