이 논문은 논리 프로그래밍 패러다임에서 다중 구조를 활용한 새로운 방법론을 제시한다. 논리 프로그래밍의 기본 개념을 확장하여 증명 네트워크를 통해 실행 모델을 모델링한다. 다중 구조를 사용하는 새로운 방법론은 기존의 증명 탐색 대신 증명 네트워크 구축을 통해 논리 프로그래밍 방법론을 확장한다.
A otro idioma
del contenido fuente
arxiv.org
Ideas clave extraídas de
by Matteo Accla... a las arxiv.org 03-06-2024
https://arxiv.org/pdf/2403.03032.pdfConsultas más profundas