Prologの言語仕様だが、
1) 論理変数は必ず_から始まる。
2) 数字から始まっても以後に数字以外が出現する文字列はアトムであり
表記上、'で囲む必要はない。
の方がいいのでは。