A meme in my friend group

corruzione.elf

associazione: type.
studente: type.

*: associazione.
;: studente -> associazione -> associazione. %infix right 1 ;.

apolitica: associazione -> type.
rappresentante: studente -> type.
corrotta: associazione -> type.
contiene_rapr: associazione -> type.

ha_rapr/0: contiene_rapr (X ; Xs)
    <- rappresentante X.
ha_rapr/1: contiene_rapr (X ; Xs)
    <- contiene_rapr Xs.

corrotta/0: corrotta X
    <- apolitica X
    <- contiene_rapr X.

% Includiamo solo il CdA per semplicità
aceti: studente.
dentello: studente.
oldani: studente.
sarti: studente.
brioni: studente.
settembrese: studente.

studentiunimi = aceti ; dentello ; oldani ; sarti ; brioni ; settembrese ; *.

studentiunimi/apolitica: apolitica studentiunimi.
settembrese/rappresentante: rappresentante settembrese.

% ?- corrotta studentiunimi.
% Solving...
% Empty Substitution.

% or

% ?- corrotta X.
% Solving...
% X = studentiunimi.

Would be true if only rule corrotta/0 were true... though it's not

So @StudentiUniMi is corrupted. When the bonifico da UniSì will arrive on my bank account?

So @StudentiUniMi is corrupted. When the bonifico da UniSì will arrive on my bank account?

Dunno, gotta ask @SetteMagic apparently