このディレクトリの索引
http://toro.2ch.net/test/read.cgi/db/1316769778/548
#  Master Table 
#  id | type id 
#  ------------ 
#  01 | 1 
#  02 | 2 
#  03 | 2 
#  04 | 1 
#  05 | 1 
#  06 | 2 
#   
#  ・DBMS名とバージョン  
#  mysql 5.1.44 
#   
#  ・テーブルデータ 
#  Table A 
#  id | name a 
#  ------------ 
#  01 | aaa 
#  04 | bbb 
#  05 | ccc 
#   
#  Table B 
#  id | name b 
#  ------------ 
#  02 | ddd 
#  03 | eee 
#  06 | fff 
#   
#  ・欲しい結果 
#  Master Tableのtype idが1だとTable Aと、2だとTable BとJOINしたいんですけど、どう書けば良いんでしょうか? 
#   
# 
# 

'Master Tableのtype idが1だとTable Aと、2だとTable BとJOINしたい'(_id,_type_id,_name) :-
        'Master Table'(_id,_type_id),
        'JOIN'(_id,_type_id,_name).

'JOIN'(_id,'1',_name_a) :-
        'Table A'(_id,_name_a). 
'JOIN'(_id,'2',_name_b) :-
        'Table B'(_id,_name_b).