개인구독
소속 기관이 없으신 경우, 개인 정기구독을 하시면 저렴하게
논문을 무제한 열람 이용할 수 있어요.
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
Ⅰ. 서론
Ⅱ. Horn clause
Ⅲ. Prolog
Ⅳ. Horn clause 프로그램의 병렬수행
Ⅴ. 결론
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
PROLOG에 의한 통신망의 신뢰도 해석 ( Reliability Analysis of Communication Network using PROLOG )
한국통신학회 학술대회논문집
1990 .01
PROLOG를 이용한 항공기 설계기법 연구
한국항공우주학회 학술발표회 초록집
2007 .11
한글처리 PROLOG의 개발 ( A Study on the K-Prolog for Hangul processing )
대한전자공학회 학술대회
1986 .01
한글 처리 PROLOG의 개발
대한전자공학회 학술대회
1986 .12
Prolog / C 언어를 이용한 기능 레벨 시뮬레이션 ( Functional Level Simulation using Prolog / C Languages )
대한전자공학회 학술대회
1989 .07
PROLOG로 부터 C 언어로의 코드변환 기법
정보과학회논문지(B)
1998 .11
Prolog를 이용한 논리회로 합성
대한전기학회 학술대회 논문집
1985 .07
Prolog 를 이용한 논리회로의 기능적 시뮬레이션
대한전기학회 학술대회 논문집
1987 .07
Prolog를 이용한 논리회로의 기능적 시뮬레이션 ( Functional Simulation of Logic Circuits by Prolog )
대한전자공학회 학술대회
1987 .07
PROLOG에 의한 D-algorithm의 具現에 관한 研究
전기학회논문지
1986 .03
PROLOG에 의한 통신망의 단순경로 결정
한국통신학회 학술대회논문집
1990 .08
PROLOG에 의한 통신망의 단순경로 결정 ( Simple Paths Search of Communication Networks Using by PROLOG )
한국통신학회 학술대회논문집
1990 .01
PROLOG에의한 통신망의 신회도해석
한국통신학회 학술대회논문집
1990 .08
Prolog에 의한 순서논리회로의 시뮬레이션
대한전자공학회 학술대회
1986 .06
Prolog에 의한 순서논리회로의 시뮬레이션 ( Sequential Logic Circuits Simulation by Prolog )
대한전자공학회 학술대회
1986 .01
Prolog에서의 default information의 표현
한국정보과학회 학술발표논문집
1985 .04
블록 구조가 지원되는 B-Prolog의 설계와 번역기 구현에 관한 연구 ( A Study on the Design and Implementation of the B-Prolog Supported Block Structure )
대한전자공학회 학술대회
1990 .11
The Implementation and Performance of the TC-Prolog System
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1998 .01
블럭 구조가 지원되는 B-Prolog의 설계와 번역기 구현에 관한 연구
대한전자공학회 학술대회
1990 .11
Prolog 에 의한 논리회로 Description Techniques ( Techniques of Logic-Circuit Description using Prolog )
대한전자공학회 학술대회
1985 .01
0