Suponga que tiene un programa Prolog diagnóstico de la enfermedad que se inicia con muchas relaciones entre las enfermedades y síntomas relacionados:¿Cómo aplicar el cuantificador universal en Prolog?
causes_of(symptom1, Disease) :-
Disease = disease1;
Disease = disease2.
causes_of(symptom2, Disease) :-
Disease = disease2;
Disease = disease3.
causes_of(symptom3, Disease) :-
Disease = disease4.
has_symptom(person1, symptom1).
has_symptom(person1, symptom2).
¿Cómo puedo crear una regla con el 'has_disease (persona, Enfermedades)' cabeza que devolverá verdadero si el la persona tiene todos los síntomas de esa enfermedad? Utilizando el ejemplo anterior, el siguiente sería un ejemplo de salida:
has_disease(person1, Disease).
Disease = disease2.
¿Podría dar un ejemplo de cómo iba a hacerlo? –