Planner

Planner (іноді записується великими літерами як PLANNER, в радянській літературі також застосовувалося транслітероване Пле́нер) — функційно-логічна мова програмування, схожа за своїм синтаксисом з Ліспом.

6 відносини: Пролог, Пошук з вертанням, Перелік програмного забезпечення GNOME, Алгоритм, Заперечення як відмова, Логічне програмування.

Пролог

Проло́г (Prolog, Prolog) — мова логічного програмування загального призначення, пов'язана зі штучним інтелектом та математичною лінгвістикою.

Новинка!!: Planner і Пролог · Побачити більше »

Пошук з вертанням

Пошук з вертанням (backtracking), також пошук з поверненням — загальний алгоритм для знаходження всіх (або деяких) розв'язків деякої обчислювальної задачі, який поступово будує кандидатів на розв'язок, і відкидає кожного неповного кандидата c («вертається») як тільки визначає, що c не може бути доповненим до вірного розв'язку.

Новинка!!: Planner і Пошук з вертанням · Побачити більше »

Перелік програмного забезпечення GNOME

Перелік застосунків, які розроблені для використання у середовищі GNOME.

Новинка!!: Planner і Перелік програмного забезпечення GNOME · Побачити більше »

Алгоритм

Сторінка з «Алгебри» аль-Хорезмі — перського математика, від імені якого походить слово ''алгоритм''. Алгори́тм (Algorithmi за араб. ім'ям узб. математика аль-Хорезмі) — набір інструкцій, які описують порядок дій виконавця, щоб досягти результату розв'язання задачі за скінченну кількість дій; система правил виконання дискретного процесу, яка досягає поставленої мети за скінченний час.

Новинка!!: Planner і Алгоритм · Побачити більше »

Заперечення як відмова

Запере́чення як відмо́ва (negation as failure, NAF) — це немонотонне правило висновування в логічному програмуванні, що застосовується для виведення \mathrm~p (тобто припущення, що ~p не витримується) з відмови виведення ~p.

Новинка!!: Planner і Заперечення як відмова · Побачити більше »

Логічне програмування

IBM's Blue Gene/P масивно паралельний суперкомп'ютер Логі́чне програмува́ння — парадигма програмування, а також розділ дискретної математики, що вивчає методи і можливості цієї парадигми, засновані на виведенні нових фактів з даних фактів згідно із заданими логічними правилами.

Новинка!!: Planner і Логічне програмування · Побачити більше »

Юніонпедія є ментальна карта, концепція карта, або семантична мережа організована як енциклопедія або словник. Це дає коротке визначення кожному поняттю і його відносин.

Це гігантська онлайн ментальної карти, яка служить в якості основи для концепції діаграм. Це вільно використовувати і кожна стаття або документ може бути завантажений. Це інструмент, ресурс або заслання для вивчення, дослідження, освіта, навчання або викладання, які можуть бути використані вчителями, педагогами, учнями та студентами; для академічного світу: для школи, початкової, середньої, середній школі, коледжі, посеред, технічної ступеня, коледж, університет, студентів, магістрів або докторські ступені; для паперів, звітів, проектів, ідей, документації, опитувань, резюме, або дисертації. Ось визначення, пояснення, опис, або сенс кожного значним, на якому вам потрібна інформація, а також список пов'язаних з ними понять, як глосарій. Доступна на Український, англійська, іспанська, португальська, японська, китайська, французька, німецька, італійська, польська, голландська, російська, арабська, гінді, шведська, угорська, каталонська, чеська, іврит, датський, фінський, індонезійська, норвезький, румунський, турецька, в'єтнамський, корейська, тайська, грецька, болгарський, хорватська, словацька, литовський, філіппінський, латвійська, естонії і словенії. Інші мови найближчим часом.

Вся інформація була витягнута з Вікіпедії, і це доступний згідно з ліцензією Creative Commons Attribution-ShareAlike.

Юніонпедія не схвалена Фондом Вікімедіа та не пов’язана з ним.

Google Play, Android і логотип Google Play є торговельними марками корпорації Google Inc.

Політика конфіденційності