로직 프로그램 다운로드

D. Lin: 유도 논리 프로그래밍에서 선언적 및 절차적 편향으로 논리 프로그램. 영국 임페리얼 칼리지 런던, 2013 메타골은 메타 해석 학습을 기반으로 유도 논리 프로그래밍 (ILP) 시스템입니다. 질문 / 버그 앤드류 크로퍼 ([email protected])에 문의하시기 바랍니다. 메타골을 연구에 사용하는 경우, 이 인용문을 사용하고 관련 논문을 인용하십시오. IBK는 일반적으로 고차 프로그램을 배우는 데 사용됩니다. 예를 들어, 다음과 같이 맵/3 구문을 정의할 수 있습니다: 첫 번째 부분은 논리 프로그래밍의 논리적 측면을 다루고 프로그래밍 언어 프롤로그에 대한 논리적 이해를 제공하려고 합니다. 논리 프로그램은 논리적 수식으로 구성되며 계산은 추론 또는 증명 구성의 과정입니다. 이것은 논리 프로그래밍이 대부분의 다른 프로그래밍 언어와 근본적으로 다르며, 주로 논리가 전자 컴퓨터보다 훨씬 오래되었으며 Von Neumann 기계와 관련된 계산 보기에 국한되지 않는다는 사실의 결과입니다. 논리 프로그래밍과 기존 프로그래밍 언어의 주요 차이점은 논리의 선언적 특성입니다. 예를 들어, Fortran에 기록된 프로그램은 일반적으로 운영상의 고려 를 고려하지 않고는 이해할 수 없습니다. 즉, 포트란 프로그램이 어떻게 실행될지 모르고는 이해할 수 없습니다.

반대로 논리는 실행의 본질적인 개념이 없으며 논리 수식은 평가 또는 실행의 개념없이 이해할 수 있습니다. 이 책의 가장 중요한 목표 중 하나는 논리 프로그램과 전통적인 프로그래밍 언어로 작성된 프로그램 간의 차이를 강조하는 것입니다. S.H. 머글턴, U. 슈미드, C. 젤러, A. 타마도니-네즈하드, T.R. Besold: 초강력 머신 러닝: ILP로 배운 프로그램의 이해력. 기계 학습 2018. 이 교과서의 두 판의 주요 목적은 프로그래밍 언어 프롤로그에서 논리 프로그래밍과 간단한 프로그래밍 기술의 기초를 모두 균일 한 계정을 제공하는 것입니다.

기초에 대한 논의는 제약 조건 논리 프로그래밍, 공제 데이터베이스 또는 동시 논리 프로그래밍과 같은 논리 프로그래밍 방식의 변형에 대한 체계적인 조사를 용이하게합니다.