帰ってきたC++でもprologの事実みたいなことをやりたい!

github始めました。使い方がわかりません

この間の可変長テンプレート版

見た目が前回よりかっこいい

ソースはこちら→https://gist.github.com/Fuyutsubaki/6156874

//main

 proloog::Fact<int, std::string, int> f;
    f.set(1,"",3);
    f.set(1, "a", 3);
    f.set(1, "b", 3);
    f.set(1, "c", 3);
    f.set(1, "a", 3);
    proloog::None _;
    outoput(f(1,_,3));

 //結果

1,"",3

 Noneは要するにprologの_でありマッチにかかわらない

 NoneをVar　X に

proloog::Var X;
outoput(f(1,X,3));

 と書きかえると

1,"",3

1,"a",3

1,"b",3

1,"c",3

 と一致するものが返される。また被ったものははじかれる