Logic Programming

This repository contains materials and projects developed during the Logic Programming course, offered by the Federal University of Alfenas. Credits to professor Luiz Eduardo da Silva for the provided materials.

💻 Contents

The course covers the following topics:

1. Knowledge Representation

   • Representation of facts and rules
   • Knowledge bases and inference engines

2. Propositional and First-Order Logic

   • Syntax and semantics of propositional logic
   • Syntax and semantics of first-order logic

3. Lists and Data Structures

   • Representation and manipulation of lists
   • Implementation of data structures in logic programming

4. Search Algorithms

   • Depth-first search
   • Breadth-first search
   • Heuristic search algorithms

5. Heuristics

   • Introduction to heuristic evaluation functions
   • Heuristic search strategies

6. Natural Language Processing (NLP)

   • Basics of NLP
   • Syntax and semantics in NLP

📁 Developed Assignment

The following assignment were developed as part of this course:

1. Assignment 1: Sudoku 4x4
   • Sudoku