00000nz a2200000n 4500 001 KSH2002019194 005 20021102000000 008 020807 n azknn|abn |a a|a | 150 ▼a논리적 추론[論理的推論]▲ 550 ▼a인공 지능 언어[人工知能言語]▲ 550 ▼a프롤로그(언어)[Prolog]▲