pari(1) puoi pure toglierlo

pari(0).
pari(1) :- fail.

pari(N):-
B is N-2,
pari(B).

Se N è dispari, mi va in ricorsione infinita con e senza il predicato pari(1).
Cosa fa esattamente fail?

[code type="markup"]pari(0).
pari(A):- B is A-2, B>=0, pari(B).[/code]

Così va. La fail dovrebbe fallire sempre, ma non è così a quanto pare. Qualcosa non torna.

Grazie DarkSide .

Per quanto riguarda il prog. dei numeri pari senza usare mod:

si potrebbe usare integer(X) sul risultato della divisione per 2 di ogni elemento della lista.

il codice:
pari([],[]).

pari([H|T],[H|Rest]):-
Y is H/2,
integer(Y),
pari(T,Rest).


pari([_|T],Ans):-
pari(T,Ans).[/b]

L'esercizio sugli agenti del primo appello era da svolgere in prolog?

pari(1) puoi pure toglierlo

intendevo puoi toglierlo se metti il controllo che deve essere > 0 (strettamente)

L'esercizio sugli agenti del primo appello era da svolgere in prolog?

NO

Mi sto impiccando con un predicato... qualcuno può darmi una mano?

Definire un predicato prolog prune(A,B) dove A e B sono liste, che sia vero se B contiene una sola volta tutti gli elementi di A.
Ad esempio:
?- prune([a,1,b,2,a,3,a,4,b], B).
B = [a,1,b,2,3,4]

[/b]

mi associo

Mi sto impiccando con un predicato... qualcuno può darmi una mano?

Definire un predicato prolog prune(A,B) dove A e B sono liste, che sia vero se B contiene una sola volta tutti gli elementi di A.

[code type="markup"]add(X,Y,[X|Y]).
member(X,[X|T]).
member(X,[H|T]):- member(X,T).

prune([],[]).
prune([H|T],L):- prune(T,L),member(H,L).
prune([H|T],L):- prune(T,L1),\+member(H,L1),add(H,L1,L).[/code]

Funziona... :wink:
Ma l'avete preso da qualche parte st'esercizio (con rispetto parlando) oppure te lo sei inventato tu franciov?

Sta sui vecchi esoneri di SBC...

@darkside: grazie.

Mi ricordo male io oppure all'esame del 23 c'era nell'ultimo esercizio un predicato getObjectPropertyValue(+Individual,"Proprietà",-Valore) che dava il valore della object property dell'individual passata come secondo termine?

Era solo getDatatypePropertyValue(...)? Senò non mi tornano un bel po' di cose... :roll:

, L2, [H | Result]) :- append(L1, L2, Result).

flatten([H|T],[H|L]):- \+lista(H), flatten(T,L).
flatten([H|T],L):- lista(H), flatten(H,L1), flatten(T,L2), append(L1,L2,L).
flatten([],[]).[/code]

Pure questo stava sui vecchi esoneri.

Nash sei un grande!!!! :wink:

Nash, sul compito c'era il getDatatypePropertyValue, mentre alla lavagna c'era il getObjectPropertyValue, penso si potesse fare un po' come ci pareva.

OWL

Se ho:[code type="markup"]class Studenti
class Corsi

objectProperty "frequenta"
domain(Studente)
range(Corsi)[/code]la classe "studenti_SBC" è[code type="markup"]equivalentOf
restriction
onProperty(frequenta) hasValue(SBC)[/code]oppure[code type="markup"]subclassOf
restriction
onProperty(frequenta hasValue(SBC)[/code] e perché?

Grazie... :wink:

penso sia la 2 (nn ne sono sicuro al 100%) cmq per il compito non si deve essere cosi' precisi....cioe' x stellato vanno bene tutte e due.....
vuole una PSEUDO sintassi OWL...

No, non è un problema di sintassi...è un problema di proprietà.
La equivalentOf sta a significare che le due classi hanno esattamente le stesse istanze, mentre la subclassOf indica che le istanze della sottoclasse sono istanze anche della superclasse, ma non il viceversa. In particolare posso avere delle istanze della superclasse che non sono necessariamente istanze della sottoclasse.
Volevo sapere il vostro parere in merito... :wink:

Secondo me è la prima ( equivalentOf) perchè gli studenti_SBC sono coloro che frequentano SBC e coloro che frequentano SBC sono studenti_SBC. Se studenti_SBC fosse solo una sottoclasse di coloro che frequentano SBC allora si avrebbero delle persone che fequentano SBC, ma non sono studenti_SBC

ha scusa nn avevo letto
daccordissimo con deathwok nn avevo visto che in una c'era subClass e nell'altra equivalentof

a proposito ma se i risultati nn escono manco oggi che fate????vi segnate all'appello?