Prolog (programski jezik)

Za druge pomene glej Prolog.

Prolog (kratica za Programming in Logic; logično programiranje) je deklarativen logični programski jezik. Programiranje v tem jeziku poteka v simbolni logiki, jezik pa je izvirno zasnovan za dokazovanje izrekov, sedaj pa je bolj splošno v uporabi v umetni inteligenci. Zelo znano delo Prolog in umetna inteligenca je napisal slovenski strokovnjak Ivan Bratko.

Zgled programa v prologu:

write('Hello world'),nl.

Glavni programski jeziki (več)

Industrijski: ABAP | Ada | C | C++ | C# | COBOL | Delphi | Fortran | java | JavaScript | Lisp | Objective-C | Perl | PHP | PL/SQL | Python | SAS | sh | SQL | Visual Basic | zbirnik Akademski: Eiffel | Haskell | Logo | ML | paskal | Prolog | Scheme | Smalltalk Zgodovinski: ALGOL | APL | AWK | BASIC | Clipper | PL/I | Simula