Utilisation d'un opérateur univ dans Prolog

Question

J'essaye de développer une procédure de prologue qui convertira des nombres dans n'importe quelle liste donnée à une liste de leurs racines carrées, en utilisant l'univ (=..). Jusqu'ici j'ai

convert(X,Y): number(X), Y is X^2. 
use([],_,[]). 
use([_|X],convert,L):- 
      convert(X,Y), 
      L =..[convert,X,Y]. 

Ceci évalue faux, ce qui pourrait être mauvais dans ma logique ou exécution?

Answer 1

Il y a plusieurs erreurs:

• pourquoi passer le nom du prédicat converti/2?
• Le plus important je ne vois pas d'appel récursif !!
• Vous ignorez l'élément de tête de la liste en écrivant [_ | X] ce qui signifie une liste avec un élément de tête et une queue X.
• Vous essayez d'utiliser la conversion sur X qui est une liste et assignez l'atome convertir (X, Y) en L. Notez que prolog n'est pas un langage procédural, convertir (X, Y) ne fonctionnera qu'en appelant simplement convertir (X, Y) et le résultat sera en Y, vous ne pouvez pas faire d'assignations comme: L = convert(X,Y) cela n'attribue la atom convert(X,Y) à L.

Vous n'avez pas besoin l'opérateur =.., comme une solution simple serait:

convert(X,Y):- number(X), Y is X^2. 
use([],[]). 
use([H|T],[Y|T1]):- 
      convert(H,Y), 
      use(T,T1). 

Answer 2

Vous pouvez également utiliser maplist/3 pour définir use/2 avec convert/2 tel que défini dans votre message:

use(X,Y) :- maplist(convert, X, Y). 

    ?- use([1,2,3],L). 
L = [1,4,9] 

Notez que use/2 est tout simplement défaut pour les listes qui contiennent tout sauf les numéros:

?- use([1,2,3,a],L). 
no