Logic Programming

논리 프로그래밍

Rahul Nalawade의 CS6374: 계산 논리 과정을 위해 2018년 봄에 프로그래밍된 논리 프로그래밍 코드에 대한 소스 파일 및 관련 정보가 포함되어 있습니다.

디렉토리:

1. 기본 프롤로그
2. 목록 처리, 트리 및 산술
3. 효율적인 산술, 비결정론적 검색 및 벨기에 스네이크 문제
4. Answer Set 프로그래밍 및 s(ASP)
5. 제약 논리 프로그래밍