카테고리:논리 프로그래밍

• 논리 프로그래밍

*

• 추론 체계

A

• 납치 논리 프로그래밍
• 어드바이스 수강생
• 응답 집합 프로그래밍
• 부정 행위 탐지의 인공지능
• 자기역학적 논리

B

• 신념 수정
• BNR 프롤로그

C

• 설명(논리)
• 절(논리)
• 닫힌 세계 가정
• 동전 제작
• 동시 제약 논리 프로그래밍
• 동시 논리 프로그래밍
• 갈등 해결 전략
• 제약 논리 프로그래밍
• 잘라내기(논리 프로그래밍)

D

• 기본 논리
• 타당한 논리
• 타당한 추론
• 한정사절문법
• 비통일 (컴퓨터 과학)

E

• 사건 미적분학

F

• 초점 증명
• 순방향 체인
• 프레임 문제
• 기능 논리 프로그래밍

G

• 보호된 명령어

H

• 고차 추상 구문

I

• 동시 계산의 불확실성

M

• 미니 칸렌

N

• 대수적 값 집합의 좁힘
• 실패로서의 부정

O

• 발생조회
• 오픈 월드 가정

P

• 생산 시스템(컴퓨터 과학)

Q

• 자격 문제

R

• 라미네이션 문제

S

• 과학 공동체 비유
• 상황 미적분학
• SLD 해상도
• 안정된 모델 의미론
• 프로그램의 구조적 합성
• 대체(논리)
• 논리 프로그래밍의 구문 및 의미론

T

• 용어 색인화

U

• 통일 (컴퓨터 과학)

W

• 워렌 추상 기계
• 근거가 충분한 의미론

Y

• 예일 대학교 총기 난사 문제