prologue, test (X, Y, Z): - Y est X + Z

Question

Comment obtenir Y et Z en prologue, quand je ne connais que X?

Par exemple:

test(X, Y, Z) :- X is Y + Z. 

mais l'erreur:

?- test(2, Y, Z). 
ERROR: is/2: Arguments are not sufficiently instantiated 

Answer 1

Il est impossible, parce que vous pouvez choisir Y être tout ce que vous voulez et les calculer Z ou vice versa.

Bien que si vous savez que Y et Z sont de quelque nombre limité (par exemple des nombres entiers positifs inférieur à 5), vous pouvez faire quelque chose comme:

valid_number(1). 
valid_number(2). 
valid_number(3). 
valid_number(4). 

test(X, Y, Z) :- valid_number(Y), valid_number(Z), X is Y + Z. 

Answer 2

Vous devez les transmettre comme arguments. L'arithmétique Prolog (is/2) n'est pas une baguette magique, son bon argument doit être entièrement instancié (pas de variables) avant de pouvoir être évalué. Si vous voulez que le prédicat fonctionne dans plusieurs "directions", avec plusieurs combinaisons de termes de base et de variables, vous devez utiliser la programmation logique de contraintes, mais c'est un domaine plutôt avancé de la programmation logique. Dans CLP sur les domaines finis, vous pouvez dire

:- use_module(library(clpfd)). % this differs between implementations 
test(X,Y,Z) :- X #= Y + Z.