Category:Logic programming

From Wikipedia, the free encyclopedia

Revision as of 16:28, 24 December 2022 by imported>Conan (-Category:Artificial intelligence)

(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

Template:AnchorPages in category "Logic programming"

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

Logic programming

B

Belief revision

D

Default logic

F

G

Guarded Command Language

O

Occurs check

Q

Qualification problem

R

Ramification problem

U

Unification (computer science)

W

Warren Abstract Machine

Retrieved from "https://wiki.sarg.dev/index.php?title=Category:Logic_programming&oldid=686589"