{"id":22466620,"url":"https://github.com/giovananog/logic-programming","last_synced_at":"2026-03-19T23:00:46.835Z","repository":{"id":177130378,"uuid":"655807358","full_name":"giovananog/logic-programming","owner":"giovananog","description":null,"archived":false,"fork":false,"pushed_at":"2024-05-29T16:13:55.000Z","size":127,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2026-02-28T13:54:45.395Z","etag":null,"topics":["computer-science-degree"],"latest_commit_sha":null,"homepage":"","language":"Prolog","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/giovananog.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2023-06-19T16:30:10.000Z","updated_at":"2024-05-29T16:13:59.000Z","dependencies_parsed_at":null,"dependency_job_id":"eec4377c-3bf1-4437-a5cb-c43540c08226","html_url":"https://github.com/giovananog/logic-programming","commit_stats":null,"previous_names":["giovananog/logic-programming"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/giovananog/logic-programming","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/giovananog%2Flogic-programming","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/giovananog%2Flogic-programming/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/giovananog%2Flogic-programming/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/giovananog%2Flogic-programming/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/giovananog","download_url":"https://codeload.github.com/giovananog/logic-programming/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/giovananog%2Flogic-programming/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":30717773,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-03-19T05:29:31.190Z","status":"ssl_error","status_checked_at":"2026-03-19T05:28:25.821Z","response_time":57,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["computer-science-degree"],"created_at":"2024-12-06T10:13:00.449Z","updated_at":"2026-03-19T23:00:46.609Z","avatar_url":"https://github.com/giovananog.png","language":"Prolog","readme":"# Logic Programming\n\n![GitHub repo size](https://img.shields.io/github/repo-size/giovananog/logic-programming?style=for-the-badge)\n![GitHub language count](https://img.shields.io/github/languages/count/giovananog/logic-programming?style=for-the-badge)\n![GitHub forks](https://img.shields.io/github/forks/giovananog/logic-programming?style=for-the-badge)\n\n\u003cbr\u003e\u003cbr\u003e\n\u003cimg src=\"https://www.unifal-mg.edu.br/portal2/wp-content/uploads/sites/52/2018/04/cropped-logo-unifal-1.png\" alt=\"Example image\"\u003e\n\n\u003e 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.\n\n\u003cbr\u003e\u003cbr\u003e\n## 💻 Contents\n\nThe course covers the following topics:\n\n1. **Knowledge Representation**\n   - Representation of facts and rules\n   - Knowledge bases and inference engines\n\n2. **Propositional and First-Order Logic**\n   - Syntax and semantics of propositional logic\n   - Syntax and semantics of first-order logic\n\n3. **Lists and Data Structures**\n   - Representation and manipulation of lists\n   - Implementation of data structures in logic programming\n\n4. **Search Algorithms**\n   - Depth-first search\n   - Breadth-first search\n   - Heuristic search algorithms\n\n5. **Heuristics**\n   - Introduction to heuristic evaluation functions\n   - Heuristic search strategies\n\n6. **Natural Language Processing (NLP)**\n   - Basics of NLP\n   - Syntax and semantics in NLP\n\n\u003cbr\u003e\u003cbr\u003e\n## 📁 Developed Assignment\n\nThe following assignment were developed as part of this course:\n\n1. **Assignment 1: Sudoku 4x4** \n   - [Sudoku](https://github.com/giovananog/logic-programming/tree/main/sudoku-4x4)\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgiovananog%2Flogic-programming","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fgiovananog%2Flogic-programming","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgiovananog%2Flogic-programming/lists"}