Category:Logic programming languages

From Wikipedia, the free encyclopedia

This category lists programming languages that support the logical programming paradigm.

Subcategories

This category has the following 3 subcategories, out of 3 total.

F

  • Functional logic programming languages

P

  • Prolog programming language family

T

  • Theorem prover languages

Pages in category "Logic programming languages"

The following 31 pages are in this category, out of 31 total. Updates to this list can occasionally be delayed for a few days.

.

  • .QL

A

  • Algebraic Logic Functional programming language
  • Alice (programming language)
  • Alma-0

C

  • CHIP (programming language)
  • CHIP-8
  • CycL

D

  • DLV
  • Datalog

E

  • ECLiPSe

F

  • Fril
  • FuzzyCLIPS

G

  • Gödel (programming language)

J

  • Janus (programming language)

K

  • KL0

L

  • Leda (programming language)
  • Logtalk

M

  • Maude system
  • Mercury (programming language)
  • MetaL (programming language)
  • Mozart Programming System

O

  • Oz (programming language)

P

  • Planner (programming language)
  • Prova

R

  • ROOP (programming language)
  • Rebeca Modeling Language

T

  • ToonTalk computer programming language
  • Transaction logic
  • Twelf

X

  • XSB

Λ

  • ΛProlog
Categories: Declarative programming languages | Domain-specific programming languages | Logic programming
Views
  • Category
  • Discussion
  • Current revision
Navigation
  • Main Page
  • Contents
  • Featured content
  • Current events
Interaction
  • About Wikipedia
  • Community portal
  • Recent changes
  • Contact Wikipedia
  • Donate to Wikipedia
  • Help
Languages
  • Deutsch
  • 한국어
  • Nederlands
  • 中文
Powered by MediaWiki
Wikimedia Foundation
  • This page was last modified 16:26, 29 March 2008 by Wikipedia user Alexbot. Based on work by Wikipedia user(s) CharlesGillingham, Lambiam, Gregbard, YurikBot, Bluebot, BD2412, Jpbowen, COGDEN, LiDaobing and Danakil.
  • All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.)
    Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a U.S. registered 501(c)(3) tax-deductible nonprofit charity.
  • About Wikipedia
  • Disclaimers