https://github.com/bernas670/plog
Repository of code developed for the course PLOG (Logic Programming) at FEUP
https://github.com/bernas670/plog
Last synced: 3 months ago
JSON representation
Repository of code developed for the course PLOG (Logic Programming) at FEUP
- Host: GitHub
- URL: https://github.com/bernas670/plog
- Owner: bernas670
- License: mit
- Created: 2019-09-25T17:17:53.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2020-03-10T15:04:05.000Z (over 5 years ago)
- Last Synced: 2025-01-22T13:39:57.625Z (5 months ago)
- Language: Prolog
- Size: 15.1 MB
- Stars: 0
- Watchers: 2
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# PLOG
Repository of code developed for the course PLOG (Logic Programming) at FEUP
## Info
* **Date** : 3rd Year, 1st Semester, 2019/2020
* **Course** : [Programação em Lógica](https://sigarra.up.pt/feup/pt/UCURR_GERAL.FICHA_UC_VIEW?pv_ocorrencia_id=436444) | [Logic Programming](https://sigarra.up.pt/feup/en/UCURR_GERAL.FICHA_UC_VIEW?pv_ocorrencia_id=436444) (PLOG)
* **Contributors** : [Bernardo Santos](https://github.com/bernas670), [Vítor Gonçalves](https://github.com/vitorhugo13)
### Table of Contents
* [**TP01**](#tp01) - Representação de Conhecimento em Prolog
* [**TP02**](#tp02) - Controlo e Recursividade em Prolog
* [**TP03**](#tp03) - Utilização de Listas em Prolog
* [**TP04**](#tp04) - Pesquisa de Soluções
* [**TP05**](#tp05) - Unificação e Predicados CUT e NOT
* [**Proj1**](#proj1) - Aplicação em Prolog para um Jogo de Tabuleiro
* [Other Resources](#other-resources)
#### TP01
* **Specification** : [Portuguese](specifications/tp01.pdf)
#### TP02
* **Specification** : [Portuguese](specifications/tp02.pdf)
#### TP03
* **Specification** : [Portuguese](specifications/tp03.pdf)
#### TP04
* **Specification** : [Portuguese](specifications/tp04.pdf)
#### TP05
* **Specification** : [Portuguese](specifications/tp05.pdf)
#### PROJ1
* **Specification** : [Portuguese](specifications/proj1.pdf)
* **Intermediate Report** : [Portuguese](https://docs.google.com/document/d/1h0ecwN33NjEER6WkghdzHKuNhX6ZsZjYxlBN_lPkLys/edit)
#### Other Resources
* [Comparison Operators](http://www.cse.unsw.edu.au/~billw/dictionaries/prolog/comparison.html)
* [Unification](http://www.cse.unsw.edu.au/~billw/dictionaries/prolog/unification.html)
* [is Operator](http://www.cse.unsw.edu.au/~billw/dictionaries/prolog/is.html)
* [Lists](https://www.doc.gold.ac.uk/~mas02gw/prolog_tutorial/prologpages/lists.html)
* [Format](https://www.swi-prolog.org/pldoc/man?predicate=format%2f2)
* [Sicstus clpfd docs](https://sicstus.sics.se/sicstus/docs/3.7.1/html/sicstus_33.html)