Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
/* Facts */ brave(harry). loyal(harry). loyal(cedric). loyal(luna). fair(harry). fair(hermione). patient(cedric). clever(cedric). clever(hermione). curious(luna). friend(harry,hermione). friend(harry,ron). enemy(harry,malfoy). /* Rules */ belongToGriffindor(X):-brave(X), loyal(X). belongToGriffindor(X):-friend(harry,X). belongToHufflepuff(X):-patient(X), loyal(X). belongToRavenclaw(X):-curious(X). belongToSlytherin(X):-enemy(harry,X),\+loyal(X).