. . . . . . . . . . . . . . "Prolog"@cs . . "Prolog"@cs . . . "1972"^^ . . . . . . . . . . . . . . . . . . . . . . "Alain Colmerauer a Philippe Roussel"@cs . . . . "87"^^ . . . . "Prolog (programovac\u00ED jazyk)"@cs . . . . . . . . . . "Prolog je logick\u00FD programovac\u00ED jazyk. Pat\u0159\u00ED mezi tzv. deklarativn\u00ED programovac\u00ED jazyky, ve kter\u00FDch program\u00E1tor popisuje pouze c\u00EDl v\u00FDpo\u010Dtu, p\u0159i\u010Dem\u017E p\u0159esn\u00FD postup, jak\u00FDm se k v\u00FDsledku program dostane, je ponech\u00E1n na libov\u016Fli syst\u00E9mu. Prolog se sna\u017E\u00ED o pokud mo\u017Eno abstraktn\u00ED vyj\u00E1d\u0159en\u00ED fakt\u016F a logick\u00FDch vztah\u016F mezi nimi s potla\u010Den\u00EDm imperativn\u00ED slo\u017Eky."@cs . "ISO Prolog, Edinburgh Prolog"@cs . . . . "16404630"^^ . . . . . . . . . . . . . . . . . . . "prolog"@cs . . . "1972"^^ . . . . . . . . . . . "33689"^^ . . . "Prolog"@cs . . . . "Prolog (programovac\u00ED jazyk)"@cs . . . . . . . . . . . . . . . "Prolog je logick\u00FD programovac\u00ED jazyk. Pat\u0159\u00ED mezi tzv. deklarativn\u00ED programovac\u00ED jazyky, ve kter\u00FDch program\u00E1tor popisuje pouze c\u00EDl v\u00FDpo\u010Dtu, p\u0159i\u010Dem\u017E p\u0159esn\u00FD postup, jak\u00FDm se k v\u00FDsledku program dostane, je ponech\u00E1n na libov\u016Fli syst\u00E9mu. Prolog se sna\u017E\u00ED o pokud mo\u017Eno abstraktn\u00ED vyj\u00E1d\u0159en\u00ED fakt\u016F a logick\u00FDch vztah\u016F mezi nimi s potla\u010Den\u00EDm imperativn\u00ED slo\u017Eky. Prolog je vyu\u017E\u00EDv\u00E1n p\u0159edev\u0161\u00EDm v oboru um\u011Bl\u00E9 inteligence a v po\u010D\u00EDta\u010Dov\u00E9 lingvistice (obzvl\u00E1\u0161t\u011B zpracov\u00E1n\u00ED p\u0159irozen\u00E9ho jazyka, pro n\u011Bj\u017E byl p\u016Fvodn\u011B navr\u017Een). Syntaxe jazyka je velice jednoduch\u00E1 a snadno pou\u017Eiteln\u00E1 pr\u00E1v\u011B proto, \u017Ee byl p\u016Fvodn\u011B ur\u010Den pro po\u010D\u00EDta\u010Dov\u011B nep\u0159\u00EDli\u0161 gramotn\u00E9 lingvisty. Prolog je zalo\u017Een na predik\u00E1tov\u00E9 logice prvn\u00EDho \u0159\u00E1du; konkr\u00E9tn\u011B se omezuje na Hornovy klauzule. B\u011Bh programu je pak p\u0159edstavov\u00E1n aplikac\u00ED dokazovac\u00EDch technik na zadan\u00E9 klauzule. Z\u00E1kladn\u00EDmi vyu\u017E\u00EDvan\u00FDmi p\u0159\u00EDstupy jsou unifikace, rekurze a backtracking."@cs . . . . . . . . "16797"^^ . .