prolog (programski jezik)

Iz Wikipedije, proste enciklopedije
Skoči na: navigacija, iskanje

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