<![CDATA[Комментарии / Профиль kit]]> https://habr.com/ru/users/kit/comments/ ru editor@habr.com habr.com Fri, 01 May 2026 00:40:48 GMT https://habr.com/ru/ https://habrastorage.org/webt/ym/el/wk/ymelwk3zy1gawz4nkejl_-ammtc.png Хабр 27.03.2015 20:27:13 https://habr.com/ru/companies/xakep/articles/254119/#comment_8350013 https://habr.com/ru/companies/xakep/articles/254119/#comment_8350013 Учет затраченного времени с Emacs и org-mode. И ничего особо не устарело за 5 с лишним лет…]]> Fri, 27 Mar 2015 20:27:13 GMT 27.03.2015 09:14:05 https://habr.com/ru/articles/254133/#comment_8348389 https://habr.com/ru/articles/254133/#comment_8348389 Fri, 27 Mar 2015 09:14:05 GMT 27.03.2015 09:12:12 https://habr.com/ru/articles/254133/#comment_8348383 https://habr.com/ru/articles/254133/#comment_8348383 SWI-Prolog более популярный и имеет больше не связанных с логикой фич типа веб-разработки и т.п. В ECLiPSe лучше constraint programming. В B-Prolog есть tabling. Я постоянно пользуюсь этими тремя реализациями (SWI-Prolog в основном для ответов на StackOverflow).

Редактор — Emacs.]]> Fri, 27 Mar 2015 09:12:12 GMT 26.03.2015 22:35:30 https://habr.com/ru/articles/254133/#comment_8347809 https://habr.com/ru/articles/254133/#comment_8347809 ECLiPSe и B-Prolog можно скачать бинарники для основных операционных систем, но запустить онлайн вроде негде.]]> Thu, 26 Mar 2015 22:35:30 GMT 26.03.2015 22:17:26 https://habr.com/ru/articles/254133/#comment_8347793 https://habr.com/ru/articles/254133/#comment_8347793
Да и для решения обычного Sudoku, как учит нас Питер Норвиг norvig.com/sudoku.html, надо реализовать constraint propagation и поиск. Это не очень сложно в случае Sudoku, но в поддерживающих constraint logic programming системах уже реализовано и отлажено.

Для Какуро вот решения от Hakan Kjellerstrand: www.hakank.org/eclipse/kakuro.ecl (ECLiPSe) и www.hakank.org/bprolog/kakuro.pl (B-Prolog).

Для Забора с ходу не найду основанных на Прологе решений, но вроде бы задача идеально подходит для constraint logic programming. Попробую написать решение, как будет время.

]]> Thu, 26 Mar 2015 22:17:26 GMT 26.03.2015 20:37:55 https://habr.com/ru/articles/254133/#comment_8347671 https://habr.com/ru/articles/254133/#comment_8347671
Современные системы, основанные на Прологе, гораздо умнее. Главное достижение — constraint logic programming, которое использует интересные алгоритмы для отсечения больших частей дерева поиска. Как пример использования — мое решение Greater Than Sudoku: sdymchenko.com/blog/2015/01/04/greater-than-sudoku-clp/

Еще есть такая интересная вещь, как tabling — вариант эффективной автоматической мемоизации логических программ, использование которого позволяет избегать «зацикливания» и декларативно реализовывать алгоритмы динамического программирования. Пример: sdymchenko.com/blog/2014/12/09/aaaaaa-bprolog/]]> Thu, 26 Mar 2015 20:37:55 GMT 24.01.2015 09:20:19 https://habr.com/ru/articles/248663/#comment_8240777 https://habr.com/ru/articles/248663/#comment_8240777
Отлючение меню удобно не для всех, и это явно не для новичков.]]> Sat, 24 Jan 2015 09:20:19 GMT 24.01.2015 00:01:56 https://habr.com/ru/articles/248663/#comment_8240563 https://habr.com/ru/articles/248663/#comment_8240563 Sat, 24 Jan 2015 00:01:56 GMT 06.03.2014 00:36:28 https://habr.com/ru/articles/214783/#comment_9318314 https://habr.com/ru/articles/214783/#comment_9318314 Не забывайте дарить секретарям подарки на праздники.
Да пишите не стесняясь: «Давайте секретарям взятки».]]> Thu, 06 Mar 2014 00:36:28 GMT 30.01.2014 23:41:34 https://habr.com/ru/articles/210796/#comment_7260164 https://habr.com/ru/articles/210796/#comment_7260164 Warnsdorff's rule: ходить в клетку, из которой можно сделать наименьшее число ходов. Работает за линию от числа клеток.

Вот я недавно решал на Прологе (B-Prolog): stackoverflow.com/questions/21066294/knights-tour-efficient-solution/21069014#21069014]]> Thu, 30 Jan 2014 23:41:34 GMT 07.01.2014 21:56:54 https://habr.com/ru/articles/208334/#comment_7175524 https://habr.com/ru/articles/208334/#comment_7175524 Tue, 07 Jan 2014 21:56:54 GMT 17.12.2013 21:40:19 https://habr.com/ru/articles/200202/#comment_8968746 https://habr.com/ru/articles/200202/#comment_8968746 муда не очень хорошие.]]> Tue, 17 Dec 2013 21:40:19 GMT 17.12.2013 21:35:50 https://habr.com/ru/articles/200202/#comment_8968744 https://habr.com/ru/articles/200202/#comment_8968744
Вообще, ваш комментарий я понял так: если молодой и не семейный, можно платить мало и заставлять работать сверхурочно.]]> Tue, 17 Dec 2013 21:35:50 GMT 16.12.2013 23:27:29 https://habr.com/ru/companies/yandex/articles/206234/#comment_7105702 https://habr.com/ru/companies/yandex/articles/206234/#comment_7105702 Единицу надо отбрасывать?]]> Mon, 16 Dec 2013 23:27:29 GMT 08.12.2013 01:49:58 https://habr.com/ru/articles/205106/#comment_7074006 https://habr.com/ru/articles/205106/#comment_7074006 video.yandex.ru/users/ya-events/view/129#

Так там он описывает, как к нему на одну из предыдущих лекций пришел Дональд Кнут и сказал в стиле «Но ведь ответ -5 — неправильный. По определению НОД — наибольший общий делитель.» На что Степанов ответил: «Зависит от определения». В лекции по ссылке подробно описано и объяснено.]]> Sun, 08 Dec 2013 01:49:58 GMT 08.11.2013 02:05:30 https://habr.com/ru/companies/infoculture/articles/201260/#comment_6953586 https://habr.com/ru/companies/infoculture/articles/201260/#comment_6953586
Сказали какому-то не очень квалифицированному работнику, что нужна эта структура в виде XML, и, мол, вот тебе файл со структурой.

— Хмм, че за XML такой. А, вот, «Сохранить как XML-документ». Готово.]]> Fri, 08 Nov 2013 02:05:30 GMT 30.12.2011 03:01:03 https://habr.com/ru/articles/135518/#comment_4502818 https://habr.com/ru/articles/135518/#comment_4502818
think out of the box
to think about something, or how to do something, in a way that is new, different or shows imagination
oald8.oxfordlearnersdictionaries.com/dictionary/think]]> Fri, 30 Dec 2011 03:01:03 GMT 27.12.2011 14:32:37 https://habr.com/ru/articles/135212/#comment_15304343 https://habr.com/ru/articles/135212/#comment_15304343 progopedia.ru Оно?]]> Tue, 27 Dec 2011 14:32:37 GMT 15.01.2011 21:32:04 https://habr.com/ru/articles/111935/#comment_3577098 https://habr.com/ru/articles/111935/#comment_3577098 Sat, 15 Jan 2011 21:32:04 GMT 15.01.2011 20:56:15 https://habr.com/ru/articles/111935/#comment_3576908 https://habr.com/ru/articles/111935/#comment_3576908 У меня не успевает выполниться ни в моем brainfuck.progopedia.ru/, ни в ideone.com/
То ли зацикливается, то ли уж очень медленно работает.]]> Sat, 15 Jan 2011 20:56:15 GMT