Skip to content

Commit 66a29b6

Browse files
brunocampos01brunocampos01
committed
update
1 parent 2c48035 commit 66a29b6

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

70 files changed

+226
-3677
lines changed

‎.ipynb_checkpoints/RDME.md-checkpoint.ipynb‎

Lines changed: 0 additions & 92 deletions
This file was deleted.

‎RDME.md.ipynb‎

Lines changed: 0 additions & 92 deletions
This file was deleted.

‎aulas/PROLOG programming for AI - lvan Bratko - recomendando prof.pdf‎

-31.7 MB
Binary file not shown.

‎exemplo_sintaxe.png‎

25.9 KB
Loading

exercícios/trabalho_01_curriculo/enunciado.md renamed to exercícios/curriculum_graph/enunciado.md

File renamed without changes.

exercícios/trabalho_01_curriculo/parte_a.png renamed to exercícios/curriculum_graph/parte_a.png

File renamed without changes.

‎exercícios/curriculum_graph/trabalho01.pl‎

Lines changed: 193 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,193 @@
1+
%Bruno Aurélio Rôzza de Moura Campos 14104255.
2+
3+
fase(arq5621, 1).
4+
fase(arq5631, 1).
5+
fase(arq5641, 1).
6+
fase(egr5605, 1).
7+
fase(egr5611, 1).
8+
9+
fase(arq5622, 2).
10+
fase(arq5633, 2).
11+
fase(arq5640, 2).
12+
fase(arq5642, 2).
13+
fase(arq5631, 2).
14+
fase(arq5612, 2).
15+
16+
fase(arq5614, 3).
17+
fase(arq5634, 3).
18+
fase(arq5654, 3).
19+
fase(arq5661, 3).
20+
fase(arq5645, 3).
21+
fase(arq5607, 3).
22+
23+
fase(arq5602, 4).
24+
fase(arq5623, 4).
25+
fase(arq5635, 4).
26+
fase(arq5655, 4).
27+
fase(arq5662, 4).
28+
fase(ecv5643, 4).
29+
30+
fase(arq5603, 5).
31+
fase(arq5624, 5).
32+
fase(arq5636, 5).
33+
fase(arq5656, 5).
34+
fase(arq5663, 5).
35+
fase(ecv5644, 5).
36+
fase(ecv5647, 5).
37+
38+
fase(arq5605, 6).
39+
fase(arq5610, 6).
40+
fase(arq5612, 6).
41+
fase(arq5617, 6).
42+
fase(arq5625, 6).
43+
fase(arq5658, 6).
44+
fase(arq5664, 6).
45+
fase(ecv5648, 6).
46+
47+
fase(arq5606, 7).
48+
fase(arq5615, 7).
49+
fase(arq5618, 7).
50+
fase(arq5637, 7).
51+
fase(arq5657, 7).
52+
fase(arq5668, 7).
53+
fase(arq5649, 7).
54+
55+
fase(arq5607, 8).
56+
fase(arq5616, 8).
57+
fase(arq5626, 8).
58+
fase(arq5627, 8).
59+
fase(arq5638, 8).
60+
fase(cvs5650, 8).
61+
62+
fase(arq5639, 9).
63+
fase(arq5680, 9).
64+
65+
fase(arq5692, 10).
66+
67+
%2 fase
68+
requisito(arq5622, arq5621).
69+
requisito(arq5633, arq5631).
70+
requisito(arq5642, arq5641).
71+
requisito(ecv5131, arq5631).
72+
requisito(egr5612, egr5611).
73+
%3 fase
74+
requisito(arq5614, arq5621).
75+
requisito(arq5634, arq5633).
76+
requisito(arq5661, arq5642).
77+
requisito(ecv5645, arq5640).
78+
%4 fase
79+
requisito(arq5605, arq5614).
80+
requisito(arq5623, arq5622).
81+
requisito(arq5635, arq5634).
82+
requisito(arq5655, arq5654).
83+
requisito(arq5662, arq5661).
84+
%5 fase
85+
requisito(arq5603, arq5602).
86+
requisito(arq5624, arq5623).
87+
requisito(arq5636, arq5635).
88+
requisito(arq5656, arq5654).
89+
requisito(arq5663, arq5662).
90+
requisito(ecv5647, ecv5645).
91+
%6 fase
92+
requisito(arq5605, arq5603).
93+
requisito(arq5612, arq5623).
94+
requisito(arq5617, arq5623).
95+
requisito(arq5625, arq5624).
96+
requisito(arq5658, arq5656).
97+
requisito(ecv5648, ecv5647).
98+
99+
nome(arq5621, 'História da Arte, Arquitetura e Urbanismo I').
100+
nome(arq5631, 'Introdução ao Projeto de Arquitetura e Urbanismo').
101+
nome(arq5641, 'Experimentação I').
102+
nome(egr5605, 'Geometria Descritiva').
103+
nome(egr5611, 'Oficina do Desenho I').
104+
105+
nome(arq5622, 'Historia da Arte, Arquitetura e Urbanismo II').
106+
nome(arq5633, 'Projeto Arquitetônico e Paisagismo I').
107+
nome(arq5640, 'Introdução a Análise de Estruturas').
108+
nome(arq5642, 'Experimentação II').
109+
nome(arq5631, 'Topografia Aplicada').
110+
nome(arq5612, 'Oficina de Desenho 2').
111+
112+
nome(arq5614, 'Teoria Urbana I').
113+
nome(arq5634, 'Projeto Arquitetônico e Programação Visual II').
114+
nome(arq5654, 'Introdução a Física do Ambiente Construído').
115+
nome(arq5661, 'Tecnologia da Edificação I').
116+
nome(arq5645, 'Resistência dos Sólidos').
117+
nome(arq5607, 'Introdução ao CAAD').
118+
119+
nome(arq5602, 'Urbanismo I').
120+
nome(arq5623, 'História da Arte, Arquitetura e Urbanismo II').
121+
nome(arq5635, 'Projeto Arquitetônico III').
122+
nome(arq5655, 'Conforto Ambiental - Térmico').
123+
nome(arq5662, 'Tecnologia da Edificação II').
124+
nome(ecv5643, 'Instalações Prediais I').
125+
126+
nome(arq5603, 'Urbanismo e Paisagismo II').
127+
nome(arq5624, 'Arquitetura Brasileira I').
128+
nome(arq5636, 'Projeto Arquitetônico IV').
129+
nome(arq5656, 'Conforto Ambiental - Iluminação').
130+
nome(arq5663, 'Tecnologia da Edificação III').
131+
nome(ecv5644, 'Instalações Prediais II').
132+
nome(ecv5647, 'Estática e Sistemas Estruturais I').
133+
134+
nome(arq5605, 'Urbanismo e Paisagismo III').
135+
nome(arq5610, 'Sistemas Urbanos').
136+
nome(arq5612, 'Teoria e Estética do Projeto').
137+
nome(arq5617, 'Historia da Cidade I').
138+
nome(arq5625, 'Arquitetura Brasileira II').
139+
nome(arq5658, 'Eficiência Energética e Sustentabilidade em Edificações').
140+
nome(arq5664, 'Tecnologia da Edificação IV').
141+
nome(ecv5648, 'Estruturas de Concreto').
142+
143+
nome(arq5606, 'Urbanismo e Paisagismo IV').
144+
nome(arq5615, 'Teoria Urbana II').
145+
nome(arq5618, 'Historia da Cidade II').
146+
nome(arq5637, 'Projeto Arquitetônico V').
147+
nome(arq5657, 'Conforto Ambiental - Acústica').
148+
nome(arq5668, 'Estágio Curricular Supervisionado').
149+
nome(arq5649, 'Estruturas de Aço').
150+
151+
nome(arq5607, 'Urbanismo V').
152+
nome(arq5616, 'Teoria Urbana III').
153+
nome(arq5626, 'Arquitetura Latino Americana').
154+
nome(arq5627, 'Patrimônio Histórico e Técnicas Retrospectivas').
155+
nome(arq5638, 'Projeto Arquitetônico VI').
156+
nome(cvs5650, 'Estruturas de Madeira').
157+
158+
nome(arq5639, 'Projeto Arquitetônico VII').
159+
nome(arq5680, 'Introdução ao Projeto de Graduação').
160+
161+
nome(arq5692, 'Trabalho de Conclusão de Curso (TCC)').
162+
163+
164+
%Pergunta extra - parte 1
165+
estagio(arq5668,7).
166+
167+
%questao1
168+
nomecompleto(D,N) :- nome(D,N).
169+
170+
%questao2
171+
precomum(D1, D2, PR) :- requisito(D1, PR), requisito(D2, PR).
172+
173+
%questao3
174+
prepre(D, PR) :- requisito(D, PRD), requisito(PRD, PR).
175+
176+
/*
177+
arq5631 é pré de arq5633
178+
arq5633 é pré de arq5634
179+
*/
180+
181+
%questao4
182+
saopre(F, PR) :- requisito(D, PR), fase(D, F).
183+
184+
%questao5
185+
tempre(F, D) :- fase(_, F), requisito(D, _).
186+
187+
%questao6
188+
temprecomumsaopre(F, D1, D2) :- precomum(D1, D2, PR), saopre(F, PR).
189+
190+
%questao7 - nao tem prerequisitos
191+
proposta(F, D) :- fase(_, F), nome(_, D).
192+
193+

‎exercícios/exercícios/exercicio_coloracao_mapas.pl‎

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
% colore um mapa usando no máximo quatro cores
2+
% cores disponı́veis (FATOS):
3+
cor(azul) .
4+
cor(verde) .
5+
cor(amarelo) .
6+
cor(vermelho) .
7+
8+
% restriçoes para a soluçao(INFERENCIAS):
9+
coloraçao(A,B,C,D,E) :- cor(A), cor(B), cor(C), cor(D), cor(E),
10+
A\=B, A\=C, A\=D, B\=C, B\=E, C\=D, C\=E, D\=E.
11+
12+
%TESTES
13+
? - coloraçao(A,B,C,D,E).

‎exercícios/exercícios/exercicio_coloracao_mapas.png‎

2.12 MB
Loading

0 commit comments

Comments
 (0)