Category:Logic programming

From Wikipedia, the free encyclopedia

You have new messages (last change).

The main article for this category is Logic programming.

Subcategories

There is one subcategory to this category shown below (more may be shown on subsequent pages).

L

Logic programming languages

Pages in category "Logic programming"

There are 17 pages in this section of this category.

Logic programming

A

Answer set programming

C

C cont.

Cut (logic programming)

D

Datalog

G

GNU Prolog

I

N

Negation as failure

O

Occurs check

P

Proofs and Refutations

S

Scientific community metaphor

T

TuProlog

U

Unification

W

Warren abstract machine

Retrieved from "http://en.wikipedia.org../../../l/o/g/Category%7ELogic_programming_f1be.html"

Categories: Programming paradigms | Logic in computer science | Formal methods

Views

Search

In other languages

Esperanto