Category:Logic programming

• Logic programming

*

• Reasoning system

A

• Abductive logic programming
• Advice taker
• Answer set programming
• Artificial intelligence in fraud detection
• Autoepistemic logic

B

• Belief revision
• BNR Prolog

C

• Circumscription (logic)
• Clause (logic)
• Closed-world assumption
• Coinduction
• Concurrent constraint logic programming
• Concurrent logic programming
• Conflict resolution strategy
• Constraint logic programming
• Cut (logic programming)

D

• Default logic
• Defeasible logic
• Defeasible reasoning
• Definite clause grammar
• Dis-unification

E

• Event calculus

F

• Focused proof
• Forward chaining
• Frame problem
• Functional logic programming

G

• Guarded Command Language

H

• Higher-order abstract syntax

I

• Indeterminacy in concurrent computation

M

• MiniKanren

N

• Narrowing of algebraic value sets
• Negation as failure

O

• Occurs check

P

• Probabilistic logic programming
• Production system (computer science)

Q

• Qualification problem

R

• Ramification problem

S

• Scientific community metaphor
• Situation calculus
• SLD resolution
• Stable model semantics
• Structural synthesis of programs
• Substitution (logic)
• Syntax and semantics of logic programming

T

• Tabled logic programming
• Term indexing
• TerminusDB

U

• Unification (computer science)

W

• Warren Abstract Machine
• Well-founded semantics

Y

• Yale shooting problem