Prolog

Paradigms	logic programming, declarative programming
First appeared	1972
Designed by	Philippe Roussel, Robert Kowalski, Alain Colmerauer
Type	declarative programming language, logic programming language, deductive language, programming language
Influenced by	Planner
File extensions	pro, pl, P

Sources: Wikidata (CC0) · Wikidata Q163468

Programming languages · 11

Language	Paradigms	First appeared	Developer
Ciao	constraint logic programming, object-oriented programming, logic programming	—	—
CLACL	logic programming	2000	—
Constraint Handling Rules	declarative programming, constraint logic programming	1991	—
Curry	constraint programming, logic programming, functional programming	1995	Kiel University
Erlang	concurrent computing, functional programming, multi-paradigm programming, declarative programming	1986	Robert Virding, Joe Armstrong, Ericsson
Go!	imperative programming, functional programming, logic programming, concurrent computing	2003	Frank G. McCabe, Keith Clark
Logtalk	prototype-based programming, logic programming, object-oriented programming	1998	—
Mercury	object-oriented programming, multi-paradigm programming, purely functional programming, logic programming, functional programming	1995	University of Melbourne
Oz	object-oriented programming, constraint programming, concurrent computing, prototype-based programming, imperative programming, functional programming, multi-paradigm programming	1991	—
Wolfram Language	functional programming, imperative programming, multi-paradigm programming, array programming, declarative programming, object-oriented programming	1988	Stephen Wolfram, Wolfram Research
XSB	logic programming	—	—

Programming languages · 2

Language	Paradigms	First appeared	Developer
GeneXus	declarative programming	1988	ARTech Consultores SRL
Logtalk	prototype-based programming, logic programming, object-oriented programming	1998	—