Prolog, Test (X, Y, Z): - Y ist X + Z

Question

Wie bekomme ich Y und Z in Prolog, wenn ich nur X kenne?

Zum Beispiel:

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

aber Fehler:

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

Answer 1

sagen, es ist nicht möglich, da Sie Y können wählen, was Sie sein wollen und sie Z oder umgekehrt berechnen.

Obwohl, wenn Sie wissen, dass Y und Z von einem begrenzten Satz (zB positive ganze Zahlen sind weniger als 5), können Sie wie etwas tun:

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

Sie haben sie als Argumente zu übergeben. Prologarithmetik (is/2) ist kein Zauberstab, sein rechtes Argument muss vollständig instanziiert sein (keine Variablen), bevor es ausgewertet werden kann.

Wenn das Prädikat in mehreren "Richtungen" arbeiten soll, mit mehreren Kombinationen von Grundbegriffen und Variablen, sollten Sie die Constraint Logic-Programmierung verwenden, aber das ist ein ziemlich fortgeschrittener Bereich der Logikprogrammierung. In CLP auf endlichen Domänen können Sie

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