Jump to content

Category:Logic programming

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Pcap (talk | contribs) at 14:48, 23 August 2009 (Removed category Formal methods (using HotCat)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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=309607358"