https://github.com/giovananog/logic-programming

https://github.com/giovananog/logic-programming

computer-science-degree

Last synced: 16 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/giovananog/logic-programming
• Owner: giovananog
• Created: 2023-06-19T16:30:10.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2024-05-29T16:13:55.000Z (7 months ago)
• Last Synced: 2024-05-30T06:19:43.103Z (7 months ago)
• Topics: computer-science-degree
• Language: Prolog
• Homepage:
• Size: 124 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Logic Programming

![GitHub repo size](https://img.shields.io/github/repo-size/giovananog/logic-programming?style=for-the-badge)

![GitHub language count](https://img.shields.io/github/languages/count/giovananog/logic-programming?style=for-the-badge)

![GitHub forks](https://img.shields.io/github/forks/giovananog/logic-programming?style=for-the-badge)







> 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](https://github.com/giovananog/logic-programming/tree/main/sudoku-4x4)