l'écriture du prologue de déclaration auprès de l'opérateur not
J'ai Prologue de ce type de déclarations
verb('part_of-8').
noun('doctor_investigation_system-2').
noun('dis-4').
berelation('be-6').
verb('be-6').
noun('hospital_information_system-11').
noun('his-13').
rel('part_of-8', 'doctor_investigation_system-2').
rel('doctor_investigation_system-2', 'dis-4').
rel('part_of-8', 'be-6').
rel('part_of-8', 'hospital_information_system-11').
rel('hospital_information_system-11', 'his-13').
associatedWith(X,Y,Z) :-
verb(Y),
noun(X),
noun(Z),
X\=Y, Y\=Z, Z\=X,
rel(X,Y), rel(Y,Z),
not(beralation(X)), not(beralation(Z)), not(beralation(Y)).
mon but est d'obtenir associationWith(X,Y,Z) où X, Y, Z n'est pas un "être" à long terme(berelation), mais la règle ci-dessus que j'ai écrit ne fonctionne pas, que faire pour le faire fonctionner
OriginalL'auteur karthi | 2010-10-03
Vous devez vous connecter pour publier un commentaire.
Je crois que vous êtes à la recherche pour
\+
"n'est pas prouvable" de l'opérateurAinsi:
Il y a une autre façon (sans
\+
, avec!
"couper" de l'opérateur):OriginalL'auteur Amadan