# Category:Logic programming

Here is a list of articles in the Logic programming category of the Computing portal that unifies foundations of mathematics and computations using computers.

Wikimedia Commons has media related to .Logic programming |

*Logic programming* is the study of computer programs that implement logic.

## Subcategories

This category has the following 5 subcategories, out of 5 total.

### A

### B

### C

### L

### U

## Pages in category "Logic programming"

The following 50 pages are in this category, out of 50 total.

- Logic programming
*(computing)*

### *

- Reasoning system
*(computing)*

### A

- Abductive logic programming
*(computing)* - Advice taker
*(computing)* - Answer set programming
*(computing)* - Autoepistemic logic
*(computing)*

### B

- Belief revision
*(computing)* - BNR Prolog
*(computing)*

### C

- Circumscription (logic)
*(philosophy)* - Clause (logic)
*(philosophy)* - Closed-world assumption
*(computing)* - CLP(R)
*(computing)* - Coinduction
*(computing)* - Concurrent constraint logic programming
*(computing)* - Concurrent logic programming
*(computing)* - Conflict resolution strategy
*(computing)* - Constraint logic programming
*(computing)* - Cut (logic programming)
*(computing)*

### D

- Default logic
*(computing)* - Defeasible logic
*(computing)* - Defeasible reasoning
*(computing)* - Definite clause grammar
*(computing)* - Dis-unification (computer science)
*(computing)*

### E

- Event calculus
*(computing)*

### F

- Frame problem
*(computing)* - Functional logic programming
*(computing)*

### G

- Guarded Command Language
*(computing)*

### H

- Higher-order abstract syntax
*(computing)*

### I

- Indeterminacy in concurrent computation
*(computing)* - Inductive programming
*(computing)*

### M

- MiniKanren
*(computing)*

### N

- Narrowing of algebraic value sets
*(computing)* - Negation as failure
*(computing)*

### O

- Occurs check
*(computing)* - Open-world assumption
*(computing)*

### P

- Production system (computer science)
*(computing)*

### Q

- Qualification problem
*(computing)*

### R

- Ramification problem
*(computing)*

### S

- Scientific community metaphor
*(computing)* - Transwiki:Scientific community metaphor
- Situation calculus
*(computing)* - SLD resolution
*(computing)* - Stable model semantics
*(computing)* - Structural synthesis of programs
*(computing)* - Substitution (logic)
*(philosophy)*

### T

- Term indexing
*(computing)* - TerminusDB
*(software)*

### U

- Unification (computer science)
*(computing)*

### W

- Well-founded semantics
*(computing)*

### Y

- Yale shooting problem
*(computing)*