지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 1989년도 봄 학술발표논문집 제16권 제1호
- 발행연도
- 1989.4
- 수록면
- 374 - 377 (4page)
이용수
초록· 키워드
오류제보하기
Flat Concurrent Prolog (FCP)는 일차 논리에 기초를 두고 설계된 언어로서 함수 언어의 고차 논리적 기능을 제공하도록 확장하는 것이 필요하다.
본 논문에서는 Prolog의 확장을 위해 DHD Warren이 제안한 번역 규칙을 응용하여, 술어 변수가 허용된 FCP 프로그램을 동일한 의미의 일차 논리 FCP 프로그램으로 번역하는 전 처리기를 제안함으로써 FCP를 확장한다.
본 논문에서 제안한 확장된 FCP는 일차 논리 언어로서의 언어적 semantics와 선언적 프로그래밍의 특성을 계속 유지하면서, 일차 논리 표현만으로는 구현이 어려운 여러 응용 분야를 지원한다.
본 논문에서는 Prolog의 확장을 위해 DHD Warren이 제안한 번역 규칙을 응용하여, 술어 변수가 허용된 FCP 프로그램을 동일한 의미의 일차 논리 FCP 프로그램으로 번역하는 전 처리기를 제안함으로써 FCP를 확장한다.
본 논문에서 제안한 확장된 FCP는 일차 논리 언어로서의 언어적 semantics와 선언적 프로그래밍의 특성을 계속 유지하면서, 일차 논리 표현만으로는 구현이 어려운 여러 응용 분야를 지원한다.
목차
요약
Ⅰ. 서론
Ⅱ. Flat Concurrent Prolog
Ⅲ. 고차 논리 표현이 첨가된 FCP
Ⅳ. 전 처리기의 구현
Ⅴ. 고차 논리 FCP의 응용
Ⅵ. 결론 및 앞으로의 연구 방향
참고 문헌
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
FCP(Free-form Concrete Panel)제작 과정에서 FCP두께유지에 관련한 영향요인 분석
한국건축시공학회 학술발표대회 논문집
2019 .01
-
Flat Concurrent Prolog에 의한 SIMD 알고리즘의 구현
한국정보과학회 학술발표논문집
1989 .04
-
열적안정성확보를 위한 수치해석적 연구
한국정밀공학회 학술발표대회 논문집
2014 .10
-
지연 계산을 첨가한 Concurrent Prolog
한국정보과학회 학술발표논문집
1988 .10
-
Prolog를 이용한 논리회로 합성
대한전기학회 학술대회 논문집
1985 .07
-
Prolog를 이용한 논리회로의 기능적 시뮬레이션 ( Functional Simulation of Logic Circuits by Prolog )
대한전자공학회 학술대회
1987 .07
-
Prolog 를 이용한 논리회로의 기능적 시뮬레이션
대한전기학회 학술대회 논문집
1987 .07
-
Prolog를 이용한 논리회로의 기능적인 검증
한국정보과학회 학술발표논문집
1987 .04
-
Prolog의 기초와 Prolog 프로그램의 병렬 실행
한국정보과학회 학술발표논문집
1984 .04
-
Prolog에 의한 순서논리회로의 시뮬레이션
대한전자공학회 학술대회
1986 .06
-
Prolog에 의한 순서논리회로의 시뮬레이션 ( Sequential Logic Circuits Simulation by Prolog )
대한전자공학회 학술대회
1986 .01
-
Prolog / C 언어를 이용한 기능 레벨 시뮬레이션 ( Functional Level Simulation using Prolog / C Languages )
대한전자공학회 학술대회
1989 .07
-
PROLOG로 부터 C 언어로의 코드변환 기법
정보과학회논문지(B)
1998 .11
-
Prolog 에 의한 논리회로 Description Techniques ( Techniques of Logic-Circuit Description using Prolog )
대한전자공학회 학술대회
1985 .01
-
인터넷 상에서 논리 언어 Prolog 프로그램 수행을 위한 도구 개발
한국정보과학회 학술발표논문집
1999 .04
-
PROLOG를 이용한 항공기 설계기법 연구
한국항공우주학회 학술발표회 초록집
2007 .11
-
PROLOG를 이용한 Logic database 구현에 관한 연구
한국정보과학회 학술발표논문집
1987 .10
-
PROLOG에 의한 통신망의 신뢰도 해석 ( Reliability Analysis of Communication Network using PROLOG )
한국통신학회 학술대회논문집
1990 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017913463