要約
이 논문은 논리 프로그래밍 패러다임에서 다중 구조를 활용한 새로운 방법론을 제시한다. 논리 프로그래밍의 기본 개념을 확장하여 증명 네트워크를 통해 실행 모델을 모델링한다. 다중 구조를 사용하는 새로운 방법론은 기존의 증명 탐색 대신 증명 네트워크 구축을 통해 논리 프로그래밍 방법론을 확장한다.
Logic Programming Paradigm
프로그램은 조건이 충족될 때 실행되는 방법론
증명 탐색이 프로그램 실행과 연결됨
Multiplicative Structures
순차적 계산을 넘어 병렬성과 부분 정보 처리를 다룸
다중 구조를 통해 증명 네트워크 구축
Bipolar Proof Nets
다중 구조를 사용한 논리 프로그래밍 방법론
증명 네트워크를 통한 실행 모델링
統計
이 논문은 특정한 통계나 중요한 수치를 제시하지 않습니다.