Prologue “ou” opérateur de requête

Je travaille sur quelques prologue que je suis nouveau.

Je suis à la recherche d'un opérateur "ou"

registered(X, Y), Y=ct101, Y=ct102, Y=ct103.

Voici ma requête. Ce que je veux écrire, c'est code:

"return X, étant donné que Y est égal à la valeur de Z OU de la valeur de Q OU de la valeur P"

Je demande le retour d'X si Y est égal à tous les 3. Quel est l'opérateur ou ici? Est-il un?

InformationsquelleAutor Eogcloud | 2012-11-22

14

vous pouvez invoquer' alternative liaisons sur Y de cette façon:
```
...registered(X, Y), (Y=ct101; Y=ct102; Y=ct103).
```
Notez les parenthèses sont nécessaires pour garder la bonne exécution de flux de contrôle. Le ;/2 c'est le général or de l'opérateur. Pour votre usage restreint, vous pourriez aussi bien le choix le plus idiomatique
```
...registered(X, Y), member(Y, [ct101,ct102,ct103]).
```
que sur les retours en arrière lie Y chaque membre de la liste.

modifier j'ai compris avec un retard de votre dernière exigence. Si vous voulez que Y match tous 3 valeurs de la ou est inapproprié, utiliser à la place
```
...registered(X, ct101), registered(X, ct102), registered(X, ct103).
```
ou le plus compact
```
...findall(Y, registered(X, Y), L), sort(L, [ct101,ct102,ct103]).
```
findall/3 construire la liste dans le même ordre d'enregistrement/de 2 réussit. Puis-je utiliser de sorte à assurer la correspondance.
```
...setof(Y, registered(X, Y), [ct101,ct102,ct103]).
```
setof/3 trie également les résultats de la liste
- Merci, cela a contribué à une tonne. Je ne savais pas vraiment comment aller à ce sujet, mais je vais lire sur les liaisons et les retours en arrière. Apprécié!
InformationsquelleAutor CapelliC
26

Juste un autre point de vue. Effectuer un "ou" dans le Prologue peut également être fait avec le "isolées" de l'opérateur ou un point-virgule:
```
registered(X, Y) :-
    X = ct101; X = ct102; X = ct103.
```
Pour une explication plus complète:

Prédicat de contrôle en Prolog

InformationsquelleAutor Robert Oschler

Vous devez vous connecter pour publier un commentaire.