01338nam a2200361 c 4500001001300000005001500013007000300028008004100031020003400072041001300106049002800119052001900147056001500166082001600181245011400197246003700311260004500348300003600393500004300429500001700472546004100489650005200530650004800582650005200630700002500682700001900707700005600726880005900782880004400841880002700885940005300912950001100965KMO20182228820180730113009ta180502s2018    ulka          001   kor    a9788964213285g93000:c\250001 akorheng0 lEM6974934lEM6974935c201a005.133b18-51  a005.1332601a005.133223006880-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