Category:Logic programming

From Wikipedia, the free encyclopedia

This is the current revision of this page, as edited by imported>Conan at 16:28, 24 December 2022 (-Category:Artificial intelligence). The present address (URL) is a permanent link to this version.

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

Jump to navigation Jump to search

Template:Sister project Template:Cat main

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

Subcategories

This category has only the following subcategory.

L

Logic programming languages (2 C, 21 P)

Script error: No such module "anchor".Pages in category "Logic programming"

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

Logic programming

A

B

Belief revision

C

D

E

Event calculus

F

G

Guarded Command Language

H

Higher-order abstract syntax

I

Indeterminacy in concurrent computation

N

Negation as failure

O

Occurs check

P

Production system (computer science)

Q

Qualification problem

R

Ramification problem

S

T

Term indexing

U

Unification (computer science)

W

Y

Yale shooting problem

Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=Category:Logic_programming&oldid=950510"