このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/tech/1288531658/263
#  [1] 授業単元:プログラミング  
#  [2] 問題文(含コード&リンク): 
#  スタックを利用して、与えられたnに関するFarey数列の要素数を求めるプログラムを完成させよ。 
#  #include <stdio.h> 
#  #include <stdlib.h> 
#  #define MAX 100000 
#  main(){ 
#    int count,n,top,x[MAX],y[MAX],w; 
#    scanf("%d",&n); 
#    x[0]=0; y[0]=1; 
#    x[1]=1; y[1]=1; 
#    count=2; 
#    top=2; 
#    while(top>1){ 
#   
#   
#   
#    } 
#    printf("%dに関するFarey数の個数:%d\n",n,count);} 
#  

与えられたnに関するFarey数列の要素数を求める(_n,_要素数) :-
        findall(M,for(1,M,_n),L),
        count((組み合わせ(L,2,[A,B]),
               最大公約数(A,B,1)),_1を除く要素数),
        _要素数 is 1 + _1を除く要素数.