Kategori:Logisk programmering
Sidor i kategorin "Logisk programmering"
A
Abduktiv logikprogrammering
Abstrakt syntax av högre ordning
Artificiell intelligens vid upptäckt av bedrägerier
Autoepistemisk logik
B
BNR Prolog
Begränsning av algebraiska värdemängder
Bevakat kommandospråk
C
CLP(R)
Circumscription (logik)
Constraint logic programmering
Cut (logisk programmering)
D
Definitiv klausul grammatik
Dis-unification (datavetenskap)
F
Fokuserat bevis
Funktionell logikprogrammering
Förekommer kontroll
Förgreningsproblem
Försumbar logik
H
Händelsekalkyl
I
Induktiv programmering
K
Klausul (logik)
Kvalifikationsproblem
L
Logisk programmering
M
MiniKanren
N
Negation som misslyckande
O
Obestämbarhet vid samtidig beräkning
Omöjligt resonemang
P
Produktionssystem (datavetenskap)
Programmering av svarsuppsättning
R
Ramproblem
Resonemangssystem
Rådtagare
S
SLD-upplösning
Saminduktion
Samtidig begränsningslogikprogrammering
Samtidig logisk programmering
Situationskalkyl
Sluten världsantagande
Stabil modellsemantik
Standardlogik
Strategi för konfliktlösning
Strukturell syntes av program
Substitution (logik)
T
Termindexering
TerminusDB
Trosrevision
U
Unification (datavetenskap)
V
Vetenskaplig gemenskap metafor
Välgrundad semantik
W
Warren abstrakt maskin
Y
Yale skytte problem
Ö
Öppen världsantagande