Le 14 mars 2022 à 13:54:35 : Personne ne fait de Prolog c'est ça
T'as oublié de poser ta question khey
Je dois définir un prédicat discrete_log(N, X, P) qu'on appelle en laissant P libre et qui trouve P tel que X^P = N, je sais faire en python par exemple mais pas là
Je précise que j'ai essayé ça discrete_log(N, X, P) :- N is X ^ P; N > X ^ P, discrete_log(N, X, P + 1). qui marche à peu près (vaguement) si on commence avec P=0 par exemple mais c'est pas ce qui m'est demandé et j'ai une instantiation_error si je l'appelle avec P au lieu de 0