이 논문은 논리 프로그래밍 패러다임에서 다중 구조를 활용한 새로운 방법론을 제시한다. 논리 프로그래밍의 기본 개념을 확장하여 증명 네트워크를 통해 실행 모델을 모델링한다. 다중 구조를 사용하는 새로운 방법론은 기존의 증명 탐색 대신 증명 네트워크 구축을 통해 논리 프로그래밍 방법론을 확장한다.
Başka Bir Dile
kaynak içeriğinden
arxiv.org
Önemli Bilgiler Şuradan Elde Edildi
by Matteo Accla... : arxiv.org 03-06-2024
https://arxiv.org/pdf/2403.03032.pdfDaha Derin Sorular