Category:Logic programming

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

Subcategories

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

*

Logic programming researchers (15 P)

B

Belief revision (1 C, 21 P)

C

Constraint logic programming (7 P)

I

Inductive logic programming (7 P)

L

Logic programming languages (2 C, 34 P)

U

Unification (computer science) (1 C, 7 P)

Pages in category "Logic programming"

The following 53 pages are in this category, out of 53 total. This list may not reflect recent changes.

Logic programming

*

Reasoning system

A

B

C

D

E

Event calculus

F

G

Guarded Command Language

H

Higher-order abstract syntax

I

Indeterminacy in concurrent computation

M

MiniKanren

N

O

Occurs check

P

Q

Qualification problem

R

Ramification problem

S

T

U

Unification (computer science)

W

Y

Yale shooting problem

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Logic_programming&oldid=1129302880"

Uses material from the Wikipedia article Category:Logic programming, released under the CC BY-SA 4.0 license.