% =================================================================
% データ定義（ファクト）
% product(Name, Price, Rating, ReviewCount)
% =================================================================
product(item1, 3000, 4.8, 20).
product(item2, 1800, 4.2, 200).
product(item3, 5000, 4.9, 5).
product(item4, 2500, 4.5, 80).
 
% =================================================================
% AIが独自に定義した「おすすめ（recommended）」のルール
% 定義：評価(Rating)が4.5以上、かつレビュー数(ReviewCount)が15件以上
% =================================================================
recommended_product(Name) :-
    product(Name, _, Rating, ReviewCount),
    Rating >= 4.5,
    ReviewCount >= 15.
 
% =================================================================
% メイン処理（ideoneの実行用エントリーポイント）
% =================================================================
main :-
    % すべてのおすすめ商品をバックトラックで列挙して表示
    forall(recommended_product(Name),
           (format('Recommended item: ~w~n', [Name]))),
    halt.

JSA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQolIOODh+ODvOOCv+Wumue+qe+8iOODleOCoeOCr+ODiO+8iQolIHByb2R1Y3QoTmFtZSwgUHJpY2UsIFJhdGluZywgUmV2aWV3Q291bnQpCiUgPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KcHJvZHVjdChpdGVtMSwgMzAwMCwgNC44LCAyMCkuCnByb2R1Y3QoaXRlbTIsIDE4MDAsIDQuMiwgMjAwKS4KcHJvZHVjdChpdGVtMywgNTAwMCwgNC45LCA1KS4KcHJvZHVjdChpdGVtNCwgMjUwMCwgNC41LCA4MCkuCgolID09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CiUgQUnjgYzni6zoh6rjgavlrprnvqnjgZfjgZ/jgIzjgYrjgZnjgZnjgoHvvIhyZWNvbW1lbmRlZO+8ieOAjeOBruODq+ODvOODqwolIOWumue+qe+8muipleS+oShSYXRpbmcp44GMNC415Lul5LiK44CB44GL44Gk44Os44OT44Ol44O85pWwKFJldmlld0NvdW50KeOBjDE15Lu25Lul5LiKCiUgPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KcmVjb21tZW5kZWRfcHJvZHVjdChOYW1lKSA6LQogICAgcHJvZHVjdChOYW1lLCBfLCBSYXRpbmcsIFJldmlld0NvdW50KSwKICAgIFJhdGluZyA+PSA0LjUsCiAgICBSZXZpZXdDb3VudCA+PSAxNS4KCiUgPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KJSDjg6HjgqTjg7Plh6bnkIbvvIhpZGVvbmXjga7lrp/ooYznlKjjgqjjg7Pjg4jjg6rjg7zjg53jgqTjg7Pjg4jvvIkKJSA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQptYWluIDotCiAgICAlIOOBmeOBueOBpuOBruOBiuOBmeOBmeOCgeWVhuWTgeOCkuODkOODg+OCr+ODiOODqeODg+OCr+OBp+WIl+aMmeOBl+OBpuihqOekugogICAgZm9yYWxsKHJlY29tbWVuZGVkX3Byb2R1Y3QoTmFtZSksCiAgICAgICAgICAgKGZvcm1hdCgnUmVjb21tZW5kZWQgaXRlbTogfnd+bicsIFtOYW1lXSkpKSwKICAgIGhhbHQu