Prolog

Iz Wikipedije, proste enciklopedije

Skoči na: navigacija, iskanje

Prolog (kratica za Programming in Logic; programiranje v logiki) je logični programski jezik, ki je zasnovan na funkcijskem programiranju. Programiranje v tem jeziku poteka v simbolni logiki, jezik pa je originalno 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.

Primer programa:

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 | Pascal | Prolog | Scheme | Smalltalk

Zgodovinski: ALGOL | APL | AWK | BASIC | Clipper | PL/I | Simula