Prologue Arguments ne sont pas suffisamment instancié

J'essaie de correspondre à un sous-ensemble des faits que je suis de la création, et mon cas de test a été génial de travailler!

x([1,2,3,4],'bleah'). 
x([1,2,4],'bleah2'). 
x([1,2],'bleah8'). 
x([1,3,4],'bleah3'). 
x([5,6,7,8],'bleah5'). 
x([6,7,8,9],'bleah6'). 

floue(X,R) :- x(Z, R), sous-ensemble(X,Z) . 
restant(X,Y,D,M) :- x(Z,D) , sélectionnez(X,Z,N), sélectionnez(Y,N,M). 
paire(X,Y,R) :- x([X,Y],R) ; x([Y,X],R). 

Sortie: 
?- x([1,2|RESTE],D). 
REPOS = [3, 4], 
D = bleah ; 
REPOS = [4], 
D = bleah2 ; 
REPOS = [], 
D = bleah8 ; 
faux. 

?- paire(2,1,D). 
D = bleah8 ; 
faux. 

?- floue([2,1],R). 
R = bleah ; 
R = bleah2 ; 
R = bleah8 ; 
faux. 

?- restant(2,1,D,M). 
D = bleah, 
M = [3, 4] ; 
D = bleah2, 
M = [4] ; 
D = bleah8, 
M = [] ; 
faux.

Puis j'ai ajouté un effet de représenter mon potentiel suivant les cas, et maintenant il est tout à fait rompu. Je suis nouveau sur le Prolog, je ne sais pas pourquoi c'est ou comment résoudre le problème.

x([6,X,8,9],'woot') :- (X+0) > 7. 

Sortie: 
?- x([1,2|RESTE],D). 
REPOS = [3, 4], 
D = bleah ; 
REPOS = [4], 
D = bleah2 ; 
REPOS = [], 
D = bleah8 ; 
faux. 

?- paire(2,1,D). 
D = bleah8 ; 
faux. 

?- floue([2,1],R). 
R = bleah ; 
R = bleah2 ; 
R = bleah8 ; 
ERREUR: >/2: les Arguments ne sont pas suffisamment instancié 
^ Exception: (9) _G260+0>7 ? abandonner 
% Exécution Abandonnée 

?- restant(2,1,D,M). 
D = bleah, 
M = [3, 4] ; 
D = bleah2, 
M = [4] ; 
D = bleah8, 
M = [] ; 
ERREUR: >/2: les Arguments ne sont pas suffisamment instancié 
^ Exception: (10) _G270+0>7 ? abandonner 
% Exécution Abandonnée 

?- x([_,15,_,_],D). 
D = woot.

Suggestions bienvenue.

OriginalL'auteur Demosthenex | 2010-01-11

  1. 3

    X peut être seulement un nombre naturel? Si oui, alors vous pouvez changer votre règle

    x([6,X,8,9], 'woot') :- (X+0) > 7.

    à

    x([6, X, 8, 9], 'woot') :- between(8, inf, X).

    Cela fonctionne au moins en SWI-Prolog:

    ?- x(A, B).
A = [6, 8, 8, 9],
B = woot ;
A = [6, 9, 8, 9],
B = woot ;
A = [6, 10, 8, 9],
B = woot ;
...
    Par la suite il sera un test contre une série de faits que j'ai énumérés (c'est à dire: de moins en moins(a,b), moins(b,c) -> moins(a,c)). J'ai été en utilisant les nombres comme des espaces réservés alors que j'ai testé le concept. Je vais faire un essai avec un autre type de données parce que mon énumération devrait limiter la liste de choix.

    OriginalL'auteur Kaarel

  2. 2

    Dans fuzzy/2 et remaining/4, vous appelez x/2 avec un uninstantiated Z. Cela signifie que le Côté Gauche de + (et donc >) est uninstantiated.

    Malheureusement, je pense que cela peut invalider cette méthode de recherche que ma faits. Voulez-vous suggérer des solutions de contournement, ou vais-je avoir à ré-évaluer mon modèle?

    OriginalL'auteur Paul Butcher

  3. 1

    Ok, changement de finis de type de données aidé!

     
% Comparaisons de base 
même(X,Y) :- X == Y. 
greaterThan(X,Y) :- lessThan(Y,X). 

lessThan(X,Y) :- is_lessThan(X,Y). 
lessThan(X,Y) :- is_lessThan(X,Z) , lessThan(Z,Y). 

% Énumérer une liste 
is_lessThan( 'a', 'b' ). 
is_lessThan( 'b', 'c' ). 
is_lessThan( 'c', 'd' ). 
is_lessThan( 'd', 'e' ). 
is_lessThan( 'e', 'f' ). 
is_lessThan( 'f', 'g' ). 
is_lessThan( 'g', 'h' ). 
is_lessThan( 'h', 'i' ). 

% "Statique" des faits de longueur variable 
x(['a','b','c','d'],'abcd'). 
x(['a','b','d'],'abd'). 
x(['a','b'],'ab'). 
x(['a','c','d'],'acd'). 
x(['e','f','g','h'],'efgh'). 
x(['f','g','h','i'],'fghi'). 

% De "dynamique" des faits de longueur variable et de la contrainte 
x(['f',X,'h','i'],'fXhi') :- greaterThan('g',X). 
x(['f',X,Y],'fXY') :- greaterThan('g',X), lessThan(Y,'i'). 

% spécifiez les deux éléments de la liste séparément dans X & Y 
fuzzyMatch(X,Y,R) :- x([X,Y],R) ; x([Y,X],R) . 

% de spécifier la liste X 
fuzzyMatch(X,R) :- x(Z, R), sous-ensemble(X,Z) . 

% de spécifier deux éléments de la liste séparément, en retournant le reste des termes qui ne correspondent pas 
fuzzyMatch(X,Y,D,M) :- x(Z,D) , sélectionnez(X,Z,N), sélectionnez(Y,N,M). 

Sortie: 

?- fuzzyMatch('b','a',D). 
D = ab ; 
faux. 

?- fuzzyMatch(['b','a'],D). 
D = abcd ; 
D = abd ; 
D = ab ; 
D = fXY ; 
D = fXY ; 
faux. 

?- fuzzyMatch('b','a',R,D). 
R = abcd, 
D = [c, d] ; 
R = abd, 
D = [d] ; 
R = ab, 
D = [] ; 
R = fXY, 
D = [f] ; 
R = fXY, 
D = [f] ; 
faux.

    OriginalL'auteur Demosthenex