Discussion :

[Cecilka]

Bonjour,
est-ce que quelqu'un sait comment désactiver les avertissements de swi-prolog lorsque les prédicats ne sont pas regroupés dans le fichier source (à part les regrouper). Voici le message qui s'affiche :
Clauses of toto/4 are not together in the source-file
Merci d'avance.

[Eusebius]

Bonjour,
est-ce que quelqu'un sait comment désactiver les avertissements de swi-prolog lorsque les prédicats ne sont pas regroupés dans le fichier source (à part les regrouper). Voici le message qui s'affiche :
Clauses of toto/4 are not together in the source-file
Merci d'avance.

Bonjour
Il vaut mieux les regrouper, si prolog donne un warning c'est pour aider le développeur à détecter des erreurs de frappe. Et ça arrive...

Sinon j'ai trouvé un exemple qui utilise la directive discontiguous :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
:- discontiguous foo/1, bar/2.
 
foo(1).
bar(a, b).
foo(2).
bar(c, d).
..

[Cecilka]

Merci, ça fonctionne.