Tag: instantiation-error
Ein Instanziierungsfehler tritt in Prolog auf, wenn ein Argument nicht ausreichend instanziiert wird. Es wird häufig mit (is) / 2 und den Einbauten für arithmetischen Vergleich wie (& gt;) / 2 und (=: =) / 2 angetroffen, die alle variable freie Ausdrücke erwarten.
SWI-Prolog: ERROR: is/2: Arguments nicht ausreichend instanziiert
1 Antworten
Ich versuche, erstellen Sie ein Programm, das druckt, wie viele glatte zahlen sind in einem Intervall. Ein Teil der code ist hier: countsmooth(_, , _, _, Count) :- Count is 0. countsmooth(X, [H|T], Min, Max, Count) :-
Programm zum generieren von fibonacci-Reihe in GNU Prolog gibt eine Instanziierung Fehler
4 Antworten
Dies ist mein 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," ,"). Consulting in GNU Prolog, bin ich immer: | ?- consult('C:/GNU-Prolog/bin/fib.pl'). compiling C:/GNU-Prolog/bin/fib.pl for byte code...
Einfaches prolog-Programm. Immer Fehler: >/2: Argumente werden nicht ausreichend instanziiert
5 Antworten
Machte ich ein Prolog-Prädikat posAt(List1,P,List2), die testet, ob das element an position P von List1 und List2 gleich: posAt([X|Z], 1, [Y|W]) :- X = Y. posAt([Z|X], K, [W|Y]) :- K > 1, Kr is K - 1,
Prolog - Argumente sind nicht ausreichend instanziiert
3 Antworten
Ich Schreibe ein kleines Programm, welches zählt, wie viele Elemente in einer Liste sind keine Nummern. Hier ist mein code: not_number(,0). not_number([X|T],R):- not(number(X)), R1 is R+1, not_number(T,R1). not_number([_|Tail],Result):- not_number(Tail,Result). Wenn ich die Ausführung von code wie dieser