• Главная
  • Контакты
Подписаться:
  • Twitter
  • Facebook
  • RSS
  • VK
  • PushAll
logo

logo

  • Все
    • Положительные
    • Отрицательные
  • За сегодня
    • Положительные
    • Отрицательные
  • За вчера
    • Положительные
    • Отрицательные
  • За 3 дня
    • Положительные
    • Отрицательные
  • За неделю
    • Положительные
    • Отрицательные
  • За месяц
    • Положительные
    • Отрицательные
  • За год
    • Положительные
    • Отрицательные
  • Сортировка
    • По дате (возр)
    • По дате (убыв)
    • По рейтингу (возр)
    • По рейтингу (убыв)
    • По комментам (возр)
    • По комментам (убыв)
    • По просмотрам (возр)
    • По просмотрам (убыв)
Главная
  • Все
    • Положительные
    • Отрицательные
  • За сегодня
    • Положительные
    • Отрицательные
  • За вчера
    • Положительные
    • Отрицательные
  • За 3 дня
    • Положительные
    • Отрицательные
  • За неделю
    • Положительные
    • Отрицательные
  • За месяц
    • Положительные
    • Отрицательные

Публикации с тегом логическое программирование

Логическое программирование в Scala. Контекстные абстракции +6

  • 10.09.2026 18:57
  • Underskyer1
  • 0
  • Функциональное программирование
  • Scala

Логическое программирование в Scala. Теория +4

  • 18.08.2026 09:46
  • Underskyer1
  • 1
  • Функциональное программирование

Логическое программирование в Scala. Выбор стиля +6

  • 31.07.2026 13:51
  • Underskyer1
  • 11
  • Функциональное программирование
  • Scala

Декларативное программирование на Python +8

  • 13.10.2025 21:18
  • pauldobriak
  • 17
  • Python

Prolog: три портрета через 50 лет +16

  • 04.11.2024 18:09
  • Giox_Nostr
  • 28
  • Искусственный интеллект
  • Prolog
  • История IT
  • Научно-популярное

Плэнер — язык логического программирования для ИИ: что из него получилось

  • 22.04.2024 09:00
  • alizar
  • 3
  • Блог компании RUVDS.com
  • Программирование
  • Разработка игр
  • Искусственный интеллект
  • Изучение языков

Логическое программирование для начинающих. Prolog +10

  • 27.04.2023 09:46
  • imedzhidli
  • 9
  • Изучение языков
  • Prolog

Динамическая База данных на Turbo Prolog +20

  • 10.02.2023 01:30
  • KirillTaE
  • 12
  • Программирование
  • Prolog

Prolog in Prolog: зачем и как +16

  • 25.10.2022 15:04
  • potan
  • 11
  • Ненормальное программирование
  • Prolog

Применение двоичной логики в недвоичных операциях: оптимизируем производительность и ресурсы +14

  • 09.09.2021 15:03
  • alviro
  • 26
  • Блог компании Ozon Tech
  • Высокая производительность
  • Программирование
  • Алгоритмы
  • Go

Логическое программирование на Prolog для чайников +7

  • 14.04.2021 07:44
  • magorokhoov
  • 12
  • Программирование
  • Prolog
  • Из песочницы

Проектируем мультипарадигменный язык программирования. Часть 6 — Заимствования из SQL +8

  • 27.01.2021 10:39
  • OleksiiVoropai
  • 8
  • Семантика
  • Программирование
  • Prolog
  • Бизнес-модели

Проектируем мультипарадигменный язык программирования. Часть 5 — Особенности логического программирования +6

  • 08.01.2021 08:04
  • OleksiiVoropai
  • 23
  • Семантика
  • Программирование
  • Prolog
  • Бизнес-модели

Роль логического программирования, и стоит ли планировать его изучение на 2021-й +55

  • 21.12.2020 20:13
  • Windicor
  • 16
  • Программирование
  • Prolog
  • Искусственный интеллект
  • Natural Language Processing
  • Из песочницы

Проектируем мульти-парадигменный язык программирования. Часть 4 — Основные конструкции языка моделирования +4

  • 26.11.2020 10:41
  • OleksiiVoropai
  • 21
  • Семантика
  • Программирование
  • Prolog
  • Бизнес-модели
  • «
  • 1
  • 2
  • »
Страница 1 из 2
ЛУЧШЕЕ

  • Вчера
  • Позавчера
07:30

Запустили полнотекстовый и гибридный поиск в YDB: рассказываем, что под капотом +66

07:30

Запустили полнотекстовый и гибридный поиск в YDB: рассказываем, что под капотом +66

08:05

Первые отечественные электронные лифты. УЛЖМ МЯУ +48

08:00

Разбор Jev — модели, которая не умеет писать +30

07:05

Технология будущего в 2003 году. Взлёт и падение IrDA +30

09:01

Зелёный пайплайн ничего не доказывает. Семь способов, которыми quality gate пропускает брак в прод +29

06:28

Скоростная разработка электроники 2 +29

11:50

Часы Unix тикали от розетки: откуда взялся 1970 год и что сломается в 2038-м +25

13:01

Сложно о простом. Ничего не понимаю в ИБ. Часть 1. Зачем защищать корпоративную сеть, если она и так работает? +20

13:08

Когда одного CNI мало — deepdive в CNI Chaining +19

09:49

Я хотел одного гуля, а ИИ‑агенты собрали конвейер 3D‑персонажей для Unreal Engine 5 +18

11:45

Найм уровня undefined +17

16:00

Как я создал СуперЗавуч — программу для генерации расписаний занятий +16

12:36

Безопасники против хакеров: симметрия инструментов и асимметрия скоростей +16

13:00

На чем гики из третьих стран учились программировать? +15

12:35

Blackview Gamibook 16 — самый честный обзор на ноутбук за 160к с RTX5060 +15

11:08

Прорыв GPT-6 Astra, Claude взрослеет до версии 5.5, скандал вокруг задачи Навье-Стокса: главные события в ИИ за сентябрь +15

07:03

Книга для разработчиков, контент-дизайнеров, продакт-менеджеров +15

06:43

C++: Айсберг времени жизни объектов +14

10:01

Я обучил нейросеть играть в «Точки» — теперь она меня обыгрывает +13

09:58

Купил мини‑ПК с приставкой «AI» ради локальной LLM. Что может NPU на самом деле +83

07:00

Модели — это не лёгкое дешёвое ИТ для всех, а новый уровень кровавого энтерпрайза +71

09:01

Составное устройство USB на AT32. Часть 1: Подготовка +55

14:02

Как я собирал свой первый ПК на Pentium 166 в 1998 году и почему это было лучше, чем собирать Ryzen сейчас +51

11:37

ч2: Разбор. Как мы закрывали утечку через tun0 в AmneziaVPN +51

15:05

ИИ агенты. Что это простыми словами и в чем отличие от обычного ИИ +42

13:48

Как я зарабатываю на спаме и почему мне не стыдно +41

07:47

C++: пишем свою std::function +40

08:01

Китайские GPU — две новинки, которые стоит рассмотреть в паре +37

13:01

Большой научный обзор Wi‑Fi‑сенсинга: данные, модели, проблемы и перспективы решения +36

07:05

Про магнитопроводы/сердечники катушек (в том числе, полностью самодельные) +32

12:32

Если UI плагинный, почему BFF монолитный? +29

07:01

За пределами EXPLAIN: как увидеть выполнение запроса вживую в распределённой СУБД +29

07:01

За пределами EXPLAIN: как увидеть выполнение запроса вживую в распределённой СУБД +29

12:41

Русский текст в Claude Opus 5 стоит в 3,9 раза дороже, чем в GPT-5.5, при одинаковой цене за токен +28

14:52

Вскрываем 5G на iPhone. Что не так с Российским 5G? +26

11:37

ч1: Обзор. Полгода после утечки через tun0. Кто из VPN-клиентов закрыл дыру, а кто закрыл issue +26

13:30

Про айфоны и земледельцев мезолита +21

16:06

Как работает шифровальная машина Lorenz SZ 42 (для телетайпа) +19

16:21

Видеоплееры живут в 2012 году, а мы — нет +18

СЕРВИСЫ
  • logo

    CloudLogs.ru - Облачное логирование

    • Храните логи вашего сервиса или приложения в облаке. Удобно просматривайте и анализируйте их.
ОБСУЖДАЕМОЕ

  • Модели — это не лёгкое дешёвое ИТ для всех, а новый уровень кровавого энтерпрайза +71

    • 117

    Купил мини‑ПК с приставкой «AI» ради локальной LLM. Что может NPU на самом деле +83

    • 113

    Как я собирал свой первый ПК на Pentium 166 в 1998 году и почему это было лучше, чем собирать Ryzen сейчас +51

    • 87

    Видеоплееры живут в 2012 году, а мы — нет +18

    • 42

    Русский текст в Claude Opus 5 стоит в 3,9 раза дороже, чем в GPT-5.5, при одинаковой цене за токен +28

    • 29

    Я хотел одного гуля, а ИИ‑агенты собрали конвейер 3D‑персонажей для Unreal Engine 5 +19

    • 20

Подписка


  • Главная
  • Контакты
© 2026. Все публикации принадлежат авторам.