Refer to the field of Logic and Languages or Logic Classes

Logic Programming - Properties

• usually, these languages are declarative

Logic Programming - Types

• Abductive Logic Programming
• Answer Set Programming (ASP)
• Concurrent Logic Programming
• Functional Logic Programming
• Inductive Logic Programming - can’t represent infinity
• Co-Inductive Logic Programming - finitely represents rational infinity and/or circular logic
• Disjunctive Logic Programming
• Constraint Logic Programming - formulating Constraint Satisfaction Problems (CSP)
• Linear Temporal Logic Programming

Logic Programming - Languages

• Prolog