このディレクトリの索引
http://pc12.2ch.net/test/read.cgi/tech/1269438098/766
#  [1]プログラム 
#  [2]要素数nの実数型配列cの要素全てにaを入力する関数void value(double v,int n,double x);を定義せよ。 
#  

a(3.14).
c(_).

要素数nの実数型配列cの要素全てにaを入力する(_n) :-
        retract(c(_)),
        a(V),
        length(L,_n),
        all(L,V),
        assertz(c(L)).

all([],_).
all([V|R],V) :- all(R,V).