Prolog

Summary

Prolog is a logic programming language associated with artificial intelligence and computational linguistics. It is based on formal logic and uses a declarative approach where programs are expressed as facts and rules.

Paradigms

logic, declarative, rule-based, constraint, modular

Domains

artificial intelligence, knowledge-based system, natural-language, automated theorem proving, education

Key Features

pattern matching, meta-programming, modules, tail-call optimization, first-class functions

Typing

dynamic system, structural typing, strong typing, partial inference, runtime checking, conservative type coercion, no type annotations

Compilation

interpreted, compiled

Influenced By

Planner, LISP

Influenced

XSB, Curry, Ciao, Oz, Wolfram Language, Constraint Handling Rules, Logtalk, CLACL, Mercury, Go!, Erlang, Mathematica

Ratings

File extensions

pl, plt, pro, prolog, yap

External Links

• Prolog official site
• Prolog jobs at Devjobsscanner
• r/prolog subreddit
• Trending GitHub repositories