このリポジトリには犬童(2025)内に掲載されている実験を再現するソースコードが含まれています。このコードは論文内でも記述されており，論文内のほぼすべての結果を再現するために使用できます．

使い方などをAIに説明させる

このREADMEは、GitHubリポジトリに掲載する論文[1]のソースコードとその使い方を簡単に説明し、読者が手軽に試せるように設計されています。 なおgraphvizを使った視覚化の部分（fig8(G), fig10(G)など）はSWISH上で再現できます．

[1]犬童 健良(2025). 論理プログラミングを用いた抽象的社会選択関数における耐戦略性の実験的研究.関東学園大学経済学紀要,51,1-64. KENRYO INDO(2025). Experimental Study of Strategy-Proofness in Abstract Social Choice Functions Using Logic Programming. Research Bulletin of Economics, Kanto Gakuen University, 51, 1-64. (Japanese) DOI: https://doi.org/10.20589/kantogakueneconomics.51.0_1

本リポジトリには以下の内容が含まれています：

• 論文に記載された完全なコード（サンプル実行のデモを含む）: logical_scf.pl
• 実行環境の設定手順: SWI-Prologを活用した実行環境の簡単なセットアップ:本ファイル
• SWISHノートブックのコピーのコピー:MQQYngUl.swinb.txt.

• SWISH上ですぐ実行.
• logical_scf.plをダウンロードしてローカルインストールされたswi-prologで実行できます．
• あるいは以下の手順に従ってCodespace上（あるいはColaboratoryのターミナルでもほぼ同様に）でコードを試すことができます。

まず、このリポジトリをローカル環境またはCodespaceにクローンしてください：

git clone https://github.com/kindo2018/prolog

GitHub Codespacesを使用してクラウド環境で試す場合、以下の手順を参考にしてください：

1. リポジトリページで「+」をクリックし、Codespacesタブを選択。
2. 「Create codespace on main」をクリックして、新しいCodespaceを作成。
3. 作成されたCodespaces内で、以下のコマンドを実行してSWI-Prologをセットアップ：

   sudo apt update
   sudo apt install swi-prolog
   swipl --version  # インストール確認

1. Prologファイルをエディタで開きます
2. 次のようにターミナルからコードを実行します：

   swipl -s logical_scf.pl

対話モードでPrologクエリを試してください：

?- fig1.

このコードはMITライセンスのもとで提供されています。詳細はLICENSEファイルをご確認ください。