01412nam a2200373 c 4500001001300000005001500013007000300028008004100031020003400072041001300106049002800119052001900147056001500166082001600181240006200197245011400259246003700373260004500410300003600455500004300491500001700534546004100551650005200592650004800644650005200692700002500744700001900769700005600788880005900844880004400903880002700947940005300974950001101027KMO20182228820250620093404ta180502s2018    ulka          001   kor    a9788964213285g93000:c\250001 akorheng0 lEM6974934lEM6974935c201a005.133b18-51  a005.1332601a005.13322300aProgramming in Prolog.s5th ed..l한국어0KAT202514103006880-01a인공지능 논리 Prolog 프로그래밍 /dW.F. Clocksin,eC.S. Mellish 지음 ;e배재학 옮김19aProgramming in Prologg(5th ed.)  6880-02a서울 :b한티미디어,c2018  axvii, 441 p. :b삽화 ;c23 cm  a권말부록: 선별 문제 해답 등  a색인수록  a영어 원작을 한국어로 번역 8a논리 프로그래밍[論理--]0KSH1998026457 8a프롤로그(언어)[Prolog]0KSH1998001182 8a프로그래밍 언어[--言語]0KSH19980003681 aClocksin, W. F.4aut1 aMellish, C. S.1 6880-03a배재학,g裵在鶴,d1958-0KAC201709435006245-01/(BaIngong jineung nolli Prolog peurogeuraeming  6260-02/(BaSeoul :bHanti Midieo,c20181 6700-03/(BaBae, Jaehak0 a인공지능 논리 프롤로그 프로그래밍0 b\25000