ハムでも使える! Python環境ランチャー!!
- ソフト名 ：HamuQonda(ハムコンダ)
- バージョン ：2.00
- ライセンス ：フリーソフト
- OS ：Windows
- 開発 ：ぶるハム
「HamuQonda（ハムコンダ）」は、**Javaで記述されたProlog風の論理型言語 Qonda（コンダ）をWindows上で使えるようにする実行環境**です。教育目的や論理推論の実験に活用される小型言語で、主に「知識表現」や「論理推論」の理解を深めるために使われます。
🧠「HamuQonda（ハムコンダ）」の使い方ガイド
✅【1】必要な環境
- **Java 実行環境（JRE）**がインストールされていること（Java 8 以降）
- OS：Windows（macOS/Linuxでも動作する場合あり）
📦【2】ダウンロードと起動
- 上記リンクから
HamuQonda.zipをダウンロード - ZIPを解凍し、フォルダ内の
hamuqonda.jarを確認 - コマンドプロンプトまたはターミナルから以下のように実行：
java -jar hamuqonda.jar
📄【3】Qondaプログラムの作成
.q拡張子のファイルにQondaコードを書く- 例：簡単な親子関係の知識表現
parent(taro, jiro).
parent(jiro, hanako).
grandparent(X, Y) :- parent(X, Z), parent(Z, Y).
▶️【4】Qondaファイルの実行
- 起動後、Qondaの対話環境が開く
load('filename.q').でファイルを読み込み（拡張子付き）- クエリ（質問）を入力：
?- grandparent(taro, X).
- 結果が表示されます：
X = hanako
🔍【5】よく使う基本コマンド
| コマンド例 | 説明 |
|---|---|
load('◯◯.q'). | Qondaファイルの読み込み |
listing. | 現在読み込まれているルール一覧を表示 |
halt. | 終了 |
trace. / notrace. | 推論の過程表示（デバッグ用）ON/OFF |
💡【6】使いどころ・用途
- 教育用：Prologの基本構文や推論の考え方を学ぶ
- 実験用：ルールベースのAIやチャットボットのプロトタイプ構築
- 小規模なエキスパートシステムのベースとして利用可能
⚠️ 注意点
- Java実行環境が正しく動作していないと起動しません（
java -versionで確認） - 拡張機能やGUIなどは付属していない純粋なテキストベースの環境です
- Unicode対応が不完全な可能性があるため、日本語の使用は最小限に
✍️ 練習用サンプルプログラム（家族構成）
father(john, mary).
mother(susan, mary).
parent(X, Y) :- father(X, Y).
parent(X, Y) :- mother(X, Y).
sibling(X, Y) :- parent(Z, X), parent(Z, Y), X \= Y.