Pourquoi prolog ne reconnaît pas les arguments dans une requête?

Question

J'ai cette portion de code comme cas de base dans un prédicat récursif.

riduci_lista_valori([[V, N]],m_var,Lr):- 
    member(V, m_var), 
    Lr =[N]. 

Le problème est que quand je joue ma requête, il ne correctement unifie pas les arguments du prédicat avec ses paramètres. Vu le code, ma requête est: riduci_lista_valori([[a, 5]], [c,e], F). Et je m'attends à ce que Prolog retourne F = [5] Débogage du code semble qu'il ne reconnaît pas correctement les arguments car il ne s'unifie pas comme: V = a, N = 5m_var = [c,e] mais il donne: 1 = [[a, 5]] et 2 = [c, e].

Alors que si je vous invite: [[V, N]] = [[a,5]]. il fait la bonne unification: V = a, N = 5.

Qu'est-ce que je fais mal? Je vous remercie!

Answer 1

Pour détecter les causes de l'échec dans Prolog, utilisez débogage déclaratif:

Ajouter les définitions suivantes à votre programme:

:- op(920,fy, *). 
*_. 

Maintenant, vous pouvez utiliser (*)/1-généraliser loin objectifs spécifiques .

Par exemple:

 
riduci_lista_valori([[V, N]], m_var, Lr) :- 
     *member(V, m_var), 
     *Lr =[N]. 

Même avec cette version beaucoup plus générale, nous obtenons:

 
?- riduci_lista_valori([[a, 5]], [c,e], F). 
false. 

Cela signifie que si vous vous attendez à la requête réussir à tout, vous besoin de encore généraliser votre programme. Voir ce qui reste en fait du programme:

 
riduci_lista_valori([[V, N]], m_var, Lr) :- true. 

Cet extrait est déjà trop spécifique. Généralisons comme ceci:

 
riduci_lista_valori([[V, N]], Var, Lr) :- true. 

Maintenant, la requête réussit:

 
?- riduci_lista_valori([[a, 5]], [c,e], F). 
true. 

Ainsi, ce second argument de votre tête de l'article est un bon candidat pour une inspection approfondie!

Peut-être que vous vouliez dire utiliser une variable au lieu de l'atome m_var?