Programme pour générer la suite de fibonacci dans GNU Prolog est de donner une instanciation d'erreur

C'est mon code:-

fib(0,0).
fib(1,1).
fib(F,N) :-
    N>1,
    N1 is N-1,
    N2 is N-2,
    F is F1+F2,
    fib(F1,N1),
    fib(F2,N2),
    write(F," ,").

Sur la consultation de GNU Prolog, j'obtiens:

| ?- consult('C:/GNU-Prolog/bin/fib.pl').
compiling C:/GNU-Prolog/bin/fib.pl for byte code...
C:/GNU-Prolog/bin/fib.pl compiled, 3 lines read - 1253 bytes written, 15 ms

yes
| ?- fib(F,2).
uncaught exception: error(instantiation_error,(is)/2)

OriginalL'auteur user3341381 | 2014-04-01

6

Instanciation d'erreur est provoqué par la tentative de calculer F avant les valeurs de F1 et F2 ont été déterminés. La solution la plus simple serait de déplacer F is F1+F2 après les appels récursifs à ce que votre programme devient
```
fib(0,0).
fib(1,1).
fib(F,N) :- 
    N>1,
    N1 is N-1,
    N2 is N-2,
    fib(F1,N1),
    fib(F2,N2),
    F is F1+F2,
    write(F," ,").
```
(merci à @mbratch le rappeler) write a un seul argument, c'est à dire, write(F," ,"). devrait être write(F), write(" ,").

Vous devriez cependant être prudent avec la sortie. Le programme ci-dessus serait d'imprimer la même valeur à plusieurs reprises: par exemple, pour calculer fib(F,3) il appellera fib(F1,2) et fib(F2,1) tout fib(F1,2) invoquera fib(F11,1) et fib(F12,1) résultant dans la sortie suivante 1, 1, 2, 1, 3. Est-ce vraiment ce dont vous avez besoin?

Vous avez raison..c'est d'afficher la même valeur à plusieurs reprises. Est-il un moyen dans lequel je peux afficher l'intégrale de la série correctement?
Merci pour les précieuses informations.Suppose que c'était ce qui était la cause de l'erreur. Et pour ajouter à la réponse, de l'ordre de la définition de l'argument. Donc, la définition de "N2 N-2" devrait venir juste avant "fib(F2,N2)". Cela dit, est-il possible d'obtenir de la série en un seul aller dans GNU Prolog?
quel type de sortie avez-vous besoin?
?-fib(F,5) pour, par exemple, doit retourner F=11235 ou encore F=01123 ou tout simplement afficher la suite de fibonacci, sans affecter les valeurs de F comme- ?-fib(F,5) 11235 @Alexandre

OriginalL'auteur Alexander Serebrenik
2

Vous avez probablement besoin de F is F1+F2 après avoir instancié F1 et F2. La suite est exacte adaptation de votre code à quelque chose qui fonctionne. Maintenant, je suis sûr que c'est exactement ce que vous voulez (d'ailleurs, il ne parvient pas pour de grandes valeurs de N, le grand être impressionnante petite ici).
```
fib(0,0).
fib(1,1).
fib(F,N) :-
    N>1,
    N1 is N-1,
    N2 is N-2,
    fib(F1,N1),
    fib(F2,N2),
    F is F1+F2,
    format('~w, ',[F]).
```
J'ai utilisé format au lieu de write, je ne suis pas sûr que write/2 est-ce que vous attendez.

Merci. Mais je suis vraiment confus. Ce qui ne fait qu'écrire/2, et comment format différent?
dans le Prologue, en se référant à un prédicat, vous donnez le nom et l'arité (nombre de accepté les arguments). write/2 signifie la write prédicat à deux arguments. write/1 et write/2 sont simples à écrire des prédicats avec aucun contrôle sur le format. format/2 vous permet de contrôler le format de ce que vous écrivez. Consultez le manuel en ligne pour plus de détails.
- Je l'obtenir..Merci! 🙂 Le manuel en ligne est difficile à comprendre .

OriginalL'auteur gniourf_gniourf

fab1(1,1).
fab1(2,1).
fab1(N,T):-
    N>2,
    N1 is N-1,
    N2 is N-2,
    fab1(N1,T1),
    fab1(N2,T2),
    T is (T1+T2),

OriginalL'auteur kirubel markos

domaines

N,N1,N2,Ans=integer

prédicats

test(integer,integer)
findfibo(integer,integer)
go

clauses

go:-
    write("Enter number"),nl,
    readint(N),
    test(1,N).
go.
test(0,N).
test(X,N):-
    X<=N,
    findfibo(X,Ans),
    write(Ans," ,"),
    X1=X+1,
    test(X1,N).



findfibo(1,1).
findfibo(2,1).
findfibo(N,Ans):-
    N>1,
    N1=N-1,
    N2=N1-1,
    findfibo(N1,Ans1),
    findfibo(N2,Ans2),
    Ans=Ans1+Ans2.

exemple de sortie
Objectif: aller
Entrez le numéro de
10
1 , 1, 2, 3, 5, 8, 13, 21, 34, 45, 55,Oui

OriginalL'auteur h4k3r

Vous devez vous connecter pour publier un commentaire.