Run Code
|
API
|
Code Wall
|
Misc
|
Feedback
|
Login
|
Theme
|
Privacy
|
Patreon
Course management prolog
instructor(chan,cse401). instructor(patel,cse402). instructor(shihab,cse403). instructor(mostak,cse403). instructor(grossman,cse403). enrolled(kevin,cse401). enrolled(kevin,cse402). enrolled(kevin,cse403). enrolled(kiko,cse401). enrolled(kiko,cs405). enrolled(liza,cse404). enrolled(liza,cse403). enrolled(sonia,cse404). enrolled(sonia,cse405). enrolled(trisha,cse401). enrolled(urmi,cse402). enrolled(subu,cse403). %%Which students have taken either cse401 or cse402? rule1(X):- enrolled(X,cse401); enrolled(X,cse402). %%Which students have taken neither cse404 nor cse403? rule2(X):- not(enrolled(X,cse404)), not(enrolled(X,cse403)). %%Which students are being taught by the teacher mostak? rule3(X):- enrolled(X,cse403). %%Which students have taken cse401, cse402 & cse403 or none of them? rule4(X):- enrolled(X,cse401), enrolled(X,cse402), enrolled(X,cse403); not(enrolled(X,cse401)), not(enrolled(X,cse402)), not(enrolled(X,cse403)). %%Which students have not taken cse404 or cse405? rule5(X):- not(enrolled(X,cse404)); not(enrolled(X,cse405)).
run
|
edit
|
history
|
help
0
task5
Examen IC Parte 3 Flores López Angel Raymundo
SQL Acosta
tarea
ArreglosyAtributos_4CM70_RosanoVargasIvan
prolog_test
ESPEJEL MORAN SEBASTIAN base de conocimiento
Empresa
loco 0.1
4 Mercados Todas las industrias Garduño Rubio Brandon Antonio