Category:Logic programming languages

F

• Functional logic programming languages (8 P)

P

• Prolog programming language family (24 P)

• Vadalog

A

• Absys
• Alice (programming language)
• Alma-0

C

• CHIP (programming language)
• CycL

D

• Datalog
• Datomic
• Disjunctive Datalog

E

• ECLiPSe

F

• F-logic
• Flix (programming language)
• Flora-2
• Fril

G

• Game Description Language
• Gödel (programming language)

H

• HiLog

J

• Janus (concurrent constraint programming language)

L

• LogicBlox

M

• Maude system

O

• Oracle Intelligent Advisor
• Oz (programming language)

P

• Parlog
• Planner (programming language)
• ProbLog
• Prolog
• Prolog++
• Prova

Q

• .QL

R

• ROOP (programming language)

S

• Soufflé (programming language)

T

• ToonTalk
• Transaction logic
• Twelf