Kategori:Logiska programmeringsspråk
Sidor i kategorin "Logiska programmeringsspråk"
.
.QL
A
Absys
Algebraisk logik Funktionellt programmeringsspråk
Alice (programming language)
Alma-0
C
CHIP (programmeringsspråk)
CLACL
Ciao (programmeringsspråk)
CycL
D
DLV
Datalog
Datomic
F
F-logik
Flix (programmeringsspråk)
Flora-2
Fril
FuzzyCLIPS
Förmörkelse
G
Gödel (programming language)
H
HiLog
J
Janus (concurrent constraint programmeringsspråk)
L
Logtalk
M
Maude system
Mercury (programming language)
O
Oracle Intelligent Advisor
Oz (programming language)
P
Parlog
Planerare (programmeringsspråk)
Progol
Prolog
Prolog++
Prolog32
Prova
R
ROOP (programmeringsspråk)
Rebeca (programmeringsspråk)
S
SWI-Prolog
Spelbeskrivning Språk
T
Tolv
ToonTalk
Transaktionslogik
V
Vadalog
Visual Prolog
X
XSB
Λ
ΛProlog