R. 모렐, A. 크롭퍼, 엘 옹. 논리 프로그램의 입력 메타 해석 학습. JELIA 2019. A.크롭퍼: 플레이골: 놀이를 통해 프로그램을 배운다. IJCAI 2019. A.크롭퍼: 논리 프로그램을 배우는 것을 잊어버린다. AAAI 2020. S.H.

머글턴, U. 슈미드, C. 젤러, A. 타마도니-네즈하드, T.R. Besold: 초강력 머신 러닝: ILP로 배운 프로그램의 이해력. 기계 학습 2018. D. Lin: 유도 논리 프로그래밍에서 선언적 및 절차적 편향으로 논리 프로그램. 영국 임페리얼 칼리지 런던 2013 첫 번째 부분은 논리 프로그래밍의 논리적 측면을 다루고 프로그래밍 언어 프롤로그에 대한 논리적 이해를 제공하려고합니다. 논리 프로그램은 논리적 수식으로 구성되며 계산은 추론 또는 증명 구성의 과정입니다. 이것은 논리 프로그래밍이 대부분의 다른 프로그래밍 언어와 근본적으로 다르며, 주로 논리가 전자 컴퓨터보다 훨씬 오래되었으며 Von Neumann 기계와 관련된 계산 보기에 국한되지 않는다는 사실의 결과입니다. 논리 프로그래밍과 기존 프로그래밍 언어의 주요 차이점은 논리의 선언적 특성입니다.

예를 들어, Fortran에 기록된 프로그램은 일반적으로 운영상의 고려 를 고려하지 않고는 이해할 수 없습니다. 즉, 포트란 프로그램이 어떻게 실행될지 모르고는 이해할 수 없습니다. 반대로 논리는 실행의 본질적인 개념이 없으며 논리 수식은 평가 또는 실행의 개념없이 이해할 수 있습니다. 이 책의 가장 중요한 목표 중 하나는 논리 프로그램과 전통적인 프로그래밍 언어로 작성된 프로그램 간의 차이를 강조하는 것입니다. 이 교과서의 두 판의 주요 목적은 프로그래밍 언어 프롤로그에서 논리 프로그래밍과 간단한 프로그래밍 기술의 기초를 모두 균일 한 계정을 제공하는 것입니다. 기초에 대한 논의는 제약 조건 논리 프로그래밍, 공제 데이터베이스 또는 동시 논리 프로그래밍과 같은 논리 프로그래밍 방식의 변형에 대한 체계적인 조사를 용이하게합니다. 이 책은 주로 논리 프로그래밍에 대한 이론적 핸드북이 아닙니다. 고급 프롤로그 프로그래밍이나 제약 조건 논리 프로그래밍에 대한 책도 아닙니다. 이러한 각 주제에 대해 주변에 더 적합한 책이 있습니다.

필드의 다양성 때문에 물론 실질적인 아무것도 아무것도 말하지 않는 위험이있다. 우리는 논리 프로그래밍의 가장 중요한 영역 (우리가 생각하는 것)에 우리의 관심을 제한하고 추가 읽기를위한 제안을 포함하는 포인터를 관심독자에게 제공함으로써이 위험을 보상하기 위해 노력했다. 그 결과, 일정한 기호없이 dyadic 프로그램을 학습하는 경우, 메타골은 메타 해석 학습을 기반으로 유도 논리 프로그래밍 (ILP) 시스템입니다 이러한 메타 룰을 사용하는 것이 좋습니다. 질문 / 버그 앤드류 크로퍼 (andrew.cropper@cs.ox.ac.uk)에 문의하시기 바랍니다. 메타골을 연구에 사용하는 경우, 이 인용문을 사용하고 관련 논문을 인용하십시오. IBK는 일반적으로 고차 프로그램을 배우는 데 사용됩니다. 예를 들어, 다음과 같이 맵/3 구문을 정의할 수 있습니다: LogicCircuit의 최신 버전 다운로드. 또한 여기에 몇 가지 샘플이 있습니다.

A. 크롭퍼: 효율적인 프로그램을 효율적으로 학습합니다. 임페리얼 칼리지 런던, 영국 2017 . 메타 규칙이 어떻게 사용되는지 보려면 예제를 참조하십시오. 위의 메타 규칙은 모두 재귀적이지 않습니다. 대조적으로 이 메타규칙은 재귀적입니다. A. 크롭퍼와 S.H. 머글턴: 조건자 발명이 불완전한 배경 지식을 보상할 수 있습니까? SCAI 2015.

로직 프로 X는 점수와 사운드 디자인 스냅합니다.