-
101 .I
( interfaces) файлы интерфейсов к объектам в Visual PrologАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > .I
-
102 .PH
(расширение файла) (package header) файлы заголовков пакетов в Visual Prolog. Необходимы, чтобы пакет можно было вставить в проектАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > .PH
-
103 5GL
(Fifth Generation [programming] Language) язык [программирования] 5-го поколения, язык уровня 5GLязык программирования сверхвысокого уровня, предусматривающий безалгоритмическое решение задач на базе заданных фактов, правил, свойств и ограничений; в эту категорию входят большинство языков логического программирования, некоторые декларативные языки, языки ИИ, например Пролог и др.Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > 5GL
-
104 anonymous variable
а) при косвенно-регистровой адресации ( register indirect addressing) ссылка на значение переменной производится не по её имени, а по числовому значению её адреса в памяти. Отсюда и происходит этот терминсм. тж. variableб) скрытая переменная, создаваемая компилятором для выполнения передачи параметров по значению (см. call by value)в языке Пролог такая переменная обозначается символом подчёркивания и применяется, когда её значение не используется в предикатеАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > anonymous variable
-
105 assertion
1) суждение, утверждение, высказываниеа) условие или логическое выражение, которое, если его значение ложно, означает ошибку. Подобные выражения могут использоваться для целей отладки программ; например, в языке C++ имеются соответствующие механизмы контроля во время компиляции и во время исполнениясм. тж. compile time assertion, run-time assertion, software assertionб) в логическом программировании - новый факт или правило, которые программа во время выполнения вводит в базу данныхАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > assertion
-
106 atom
1) элементарный объект в языке Lisp. Атом может быть числовым (numeric atom) или нечисловым (symbolic atom), литеральным (literal atom). Литеральный атом - это строка символов, начинающаяся с буквысм. тж. S-expressionАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > atom
-
107 backtracking
метод поиска решения в языках логического программирования; впервые был применён в 1959 г. в программе General Problem Solver (GPS), которую разработали А. Newell, J.C. Shaw и Н.А. SimonАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > backtracking
-
108 declarative language
язык программирования, в котором программист описывает факты, касающиеся некоторой области (т. е. формулирует задачу), а интерпретатор языка выводит из них соответствующие заключенияАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > declarative language
-
109 deductive reasoning
дедуктивные рассуждения, дедуктивный выводметод, используемый, например, в языке Prolog для нахождения решения по заданным фактам и правиламАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > deductive reasoning
-
110 expert system
= ESэкспертная система, ЭСсистема, использующая базу знаний (правил) для решения задач (выдачи рекомендаций) в некоторой предметной области, например в медицине, диагностике неисправностей, выборе конфигурации сложной компьютерной системы, планировании последовательности действий и др. Она должна обладать способностью объяснить, почему предложено то или иное решение, и доказать его обоснованность. ЭС - одно из направлений ИИ.Syn:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > expert system
-
111 logical programming
= logic programmingодна из парадигм программирования ( programming paradigm) - состоит в описании задачи совокупностью утверждений на языке логического программирования, т. е. записи знаний в декларативной форме. Решение получается с помощью автоматического вывода в некоторой формальной (дедуктивной) системе. Обычно логическое программирование связывают с языком Prologсм. тж. programmingАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > logical programming
-
112 nonprocedural language
например, декларативные языки программирования типа Пролога, базирующиеся не на последовательно исполняемых операторах, управляющих структурах и т. д., а на описании набора (базы) фактов и отношений (правил), по которым выводится ответ на поставленный вопросAnt:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > nonprocedural language
-
113 OPS5
(Official Production System, Version 5) язык OPS5язык ИИ, разработанный в 1970-х годах как альтернатива Лиспу, Прологу и Смолтоку. Язык программирования для продукционных систем; разработка Университета Карнеги - Меллона (CMU). Первая реализация OPS5 была написана на Lisp, а впоследствии для повышения скорости работы переписана на BLISSАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > OPS5
-
114 pattern matching
операция, широко применяемая в языках ИИсм. тж. pattern-matching searchАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > pattern matching
-
115 predicate
1) предикатфункция, возвращающая логическое значение (logical value). В логическом программировании предикат определяет свойство или соотношение его параметров, приводимых в круглых скобках. Параметры предиката обычно обозначают объекты некоторой предметной области или их свойства. Предикат однозначно определяется именем и числом аргументов. Два предиката с одинаковым именем, но различным числом аргументов, считаются различными. Порядок аргументов предиката связан со смыслом описываемого им соотношения и поэтому не изменяем3) сказуемоеАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > predicate
-
116 пралог
-
117 pl
1) Исходный код Скрипт Perl2) Исходный код Исходный код Prolog3) Векторные изображения Файл цветной печати Unix -
118 prologue
-
119 preface
-
120 CL
I
(расширение файла) файлы классов в Visual Prolog
II
1) см. Common LISP2) см. class loader3) см. control languageАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > CL
См. также в других словарях:
PROLOG — Pour les articles homonymes, voir Prolog (homonymie). Prolog est l’un des principaux langages de programmation logique. Le nom Prolog est un acronyme de PROgrammation LOGique. Il a été créé par Alain Colmerauer et Philippe Roussel vers 1972. Le… … Wikipédia en Français
PROLOG — Paradigmen: logisch, deklarativ, oft auch constraintbasiert Erscheinungsjahr: 1972 Designer: Alain Colmerauer Entwickler: Philippe Roussell … Deutsch Wikipedia
Prolog++ — is an object oriented toolkit for the Prolog logic programming language. It allows classes and class hierarchies to be created within Prolog programs.Prolog++ was developed by Logic Programming Associates and first first released in 1989 for MS… … Wikipedia
Prolog — steht für: Prolog (Literatur), eine Einleitung und Vorgeschichte, insbesondere in Theaterstücken ein Auftaktrennen insbesondere im Radsport, siehe Prolog (Radrennen) die Eröffnungsansprache des Christkindes zum Nürnberger Christkindlesmarkt… … Deutsch Wikipedia
prolog — [ prɔlɔg ] n. m. • 1975; acronyme de Programmation en logique ♦ Inform. Langage évolué orienté vers les expressions symboliques, en particulier en intelligence artificielle. ⊗ HOM. Prologue. ● Prolog nom masculin (abréviation de programmation en… … Encyclopédie Universelle
prolog — {{/stl 13}}{{stl 8}}rz. mnż IIa, D. u {{/stl 8}}{{stl 20}} {{/stl 20}}{{stl 12}}1. {{/stl 12}}{{stl 8}}lit. {{/stl 8}}{{stl 7}} wstępna część utworu dramatycznego lub powieści, zapoznająca czytelnika (lub widza w teatrze) z okolicznościami… … Langenscheidt Polski wyjaśnień
Prolog — Sm Vorrede erw. fach. (13. Jh.), mhd. prologe, prologus Entlehnung. Ist entlehnt aus l. prologus, dieses aus gr. prólogos, zu gr. lógos Rede, das Sprechen, Wort, Erzählung , zu gr. légein (auf)lesen, reden, sprechen und gr. pro . Ebenso nndl.… … Etymologisches Wörterbuch der deutschen sprache
prolog — pròlog m <N mn ozi> DEFINICIJA 1. uvodni tekst scenskom ili opernom glazbenom djelu; uvod 2. pren. uvodni događaj (i) [prolog 2. svjetskom ratu] ETIMOLOGIJA njem. Prolog ← lat. prologus ← grč. prólogos ≃ pro 2 + log … Hrvatski jezični portal
Prolog — Prolog, Vorrede. Bei den Schauspielen der Griechen und Römer trat bei Beginn und in den Zwischenacten eine Person (Prologus) auf, und gab in gedrängter Kürze Erklärungen über das Geschehene oder das zu Erwartende. Shakespeare hat den Prolog der… … Damen Conversations Lexikon
PROLOG — [ˈprəʊlɒg ǁ ˈproʊlɒːg, lɑːg] noun [uncountable] trademark COMPUTING a type of computer language, similar in form to human language … Financial and business terms
Prolog — „Prolog“ kalba statusas T sritis informatika apibrėžtis ↑Deklaratyvioji kalba, pagrįsta matematine logika (predikatų skaičiavimu). Sukurta 20 amž. aštuntajame dešimtmetyje. Įsitvirtino ↑dirbtinio intelekto srityje. atitikmenys: angl. Prolog… … Enciklopedinis kompiuterijos žodynas