01126nam a2200229 c 4500001001300000005001500013007000300028008004100031040001100072041001300083052003800096245014100134300002400275545009100299545009400390653016200484700001900646700004800665773014800713900001700861900001800878KSI00075538920090828161914ta090519s2005    ulk           000   kor    a0110010 akorbeng01a004.05b한613ㅈㅂc12(4)-12(7)00a공개 집합 제한 논리 언어의 구현 방법 =x(An)implementation of open set constraint logic language /d신동하,e손성훈  ap. 385-390 ;c30 cm  a신동하, 정회원, 상명대학교 소프트웨어학부 부교수bdshin@smu.ac.kr  a손성훈, 정회원, 상명대학교 소프트웨어학부 전임강사bshson@smu.ac.kr  a집합a집합 제한 논리 언어aProlog 언어a공개 소스 소프트웨어aSetaSet constraints logic languageaProlog languageaOpen source software1 a신동하4aut1 a손성훈,g孫成薰,d1969-0KAC2016372300 t정보처리학회논문지. A.d한국정보처리학회.g12-A권 5호(2005년 10월), p. 385-390q12:5<385w(011001)KSE200101428,x1598-283110aShin, Dongha10aSon, Sunghoon