이 논문은 논리 프로그래밍 패러다임에서 다중 구조를 활용한 새로운 방법론을 제시한다. 논리 프로그래밍의 기본 개념을 확장하여 증명 네트워크를 통해 실행 모델을 모델링한다. 다중 구조를 사용하는 새로운 방법론은 기존의 증명 탐색 대신 증명 네트워크 구축을 통해 논리 프로그래밍 방법론을 확장한다.
Til et annet språk
fra kildeinnhold
arxiv.org
Viktige innsikter hentet fra
by Matteo Accla... klokken arxiv.org 03-06-2024
https://arxiv.org/pdf/2403.03032.pdfDypere Spørsmål