Vulpo One

Диалоги о прологе

High Elf
Out of stack

High Elf

где тут может быть Out of Stack?

Alex
Хм, не знаю. На первый взгляд не должно быть

High Elf
на второй тоже. было бы что перебирать

Alex
У него разбор справа налево?

High Elf
не помню. а может влиять?

Alex
Точно влияет. Попробуй в правилах для парентов местами парент и фэмили поменять

High Elf
супер

High Elf
а в чем прикол-то?

Alex
В рекурсии )

Alex
А что, неужели помогло?

High Elf
ага

Alex
Нда. Пролог всегда был выше моего понимания.

High Elf
надо к нему относиться чуть более как к классическому языку…

High Elf
я вот забыл что тут тоже может быть рекурсия

Alex
ну про парентов там сразу видно, что правила рекурсивные ;-)

High Elf
да, теперь-то и мне видно

Alex
:-)

High Elf
// ввел в голову есть(Пролог, рекурсия).

Alex
:-D

Alex
Типа если Пролог призван в чем-то имитировать ход человеческой мысли, то человек, видимо, мыслит как Пролог.

Alex
У тебя когда-нибудь бывало Out Of Stack?

High Elf
> Типа если Пролог призван в чем-то имитировать ход человеческой мысли, то человек, видимо, мыслит как Пролог.
упасибоже.

> У тебя когда-нибудь бывало Out Of Stack?
при out of stack выдает исключение “не помню/не знаю”

High Elf
?- Пролог всегда был выше моего понимания, Человек, видимо, мыслит как Пролог.
Человек выше твоего понимания ;)

Alex
Конечно, а в твое понимание разве укладывается? Полностью?

High Elf
тоже верно

High Elf
сам анекдот


Alex
:-)

Alex
Пролог справился?

High Elf
справился

High Elf
прога что я заслал верная. я только твое исправление сделал

Alex
Пролог как решатель семейных проблем

High Elf
ну уж как нам его Демидов приподнёс…

Alex
Да, а Демидов в свою очередь позаимствовал из умной книжки

Comments


Prolog: Я свой собственный дедушка

Задача:

Два мужика встретились в баре и разговорились. Через некоторое время один из них сказал: “Ты думаешь только у тебя семейные проблемы? Послушай про мою ситуацию: Несколько лет назад я встретил молодую вдову со взрослой дочерью, и мы поженились. Недавно мой отец женился на моей падчерице. Это сделало мою падчерицу моей мачехой, мой отец стал моим пасынком. Кроме того, моя жена стала тещей собственного свекра. Идем дальше, у дочери моей жены (моей мачехи) родился сын. Этот мальчик мой единокровный брат, потому что он сын моего отца, но он также сын дочери моей жены, что делает его внуком моей жены. Это делает меня дедушкой моего единокровного брата. Это было бы еще терпимо, пока у нас с женой не родился сын. Теперь сестра моего сына, моя теща, стала еще и бабушкой. Это делает моего отца шурином моего ребенка, сводная сестра которого — жена моего отца. Я шурин моей мачехи, моя жена — тетя ее обственного ребенка, мой сын — племянник моего отца, а я свой собственный дедушка, а ты тут жалуешься на семейные проблемы!”

Поскольку вводить кучу семейных отношений ломает, докажем лишь дедушку.

Continue reading • Comments



Обновился до Opera 9.52. So far so good

Утечки памяти не наблюдались, глюки с флешем стали реже.

Появилась еще одна мыль насчет утечек — может глючить сам Qt3 в Убунте. 9.50 и 9.52 собраны со статическим Qt, 9.51 — нет. Можно запросто проверить, поставив 9.52 с динамическим, но ломает ставить эксперименты.

Comments


Смена обстановки: KDE 4.1

image0

Сменил десктоп по умолчанию с KDE 3.5.9 на KDE 4.1. После взгляда мельком возникло ощущение “О! Да тут теперь по ходу жить можно!” Посмотрим, выдержит ли испытание ежедневным юзаньем.

Comments



15 лет Debian Linux

Ровно 15 лет назад, 16 августа 1993 года Ян Мердок выпустил первый релиз дистрибутива Debian GNU/Linux, названный в честь Себя Любимого и подруги (ныне бывшей жены) Деборы.

Debian оказал огромное влияние на мир Linux. Главными отличительными чертами Debian и его потомков являются формат пакетов DEB (имхо, более продвинутые, чем rpm) и система управления пакетами APT. Среди потомков дистрибутива значатся семейство Ubuntu, скандально известный Lindows/Linspire и Knoppix, один из лучших LiveCD на все случаи жизни.

Comments


Чем Yahoo! лучше ICQ?

image0 Yahoo! Messenger… Чем он лучше ICQ? А пёс его знает. Я не пользовался. Но по слухам обладает закрытым протоколом, который без предупреждений обновляется, клиентом с рекламой, поддержкой Unicode, спамом, логинами в виде screenname. В общем, AIM в миниатюре — чуть менее известный и чуть менее проблемный.

Интероперабелен с MSN, так что если кто из друзей кинет вам адрес своего Яху, регайте MSN — не промахнетесь.

Comments


Чем MSN лучше ICQ?

image0 MSN Messenger a.k.a. Windows Live Messenger a.k.a. .NET Messenger

Хотелось в заголовке написать “хуже”. Как это — что-то от Microsoft и вдруг — лучше? Да, лучше, если сравниваем с чем-то от AOL. (Покупка AOL’ом компании Netscape не в счет ~__^)

  1. Долой Безликие Номера! Используйте своё мыло как адрес. (Beware of spam!)
  2. Открытая реализация протокола. Инструкции как написать клиент доступны на сайте Мелкософта. Никаких неожиданных изменений протокола (Хотя дофига ожиданных) — ваши альтернативные клиенты внезапно на утро не отвалятся.
  3. Отсутствие Проблем с Кодировками. Мелкософт вообще одними из первых начали поддерживать Юникод. Правда, до ума так и не довели. (Я в плане Винды, в пейджере усё норм)
  4. Никаких проблем с коннектом обнаружено не было.

Хорош, удобен, жабберные транспорты почти не отваливаются и даже передают файлы. (единственная подобная система) Доступны для общения контакты Yahoo!

Итого по двум:
Если вам нужны множественные логины, юзайте AIM.
Если вас бесят серваки AOL, юзайте MSN.

Comments


Чем AIM лучше ICQ?

aim_logosvg AIM — продукт той же самой корпорации AOL и строится на том же самом протоколе OSCAR. Какие, казалось бы, тут преимущества? А преимущества есть, причем только у AIM над ICQ, наоборот — не найдено. А это сразу делит эти системы на любимое и нелюбимое детище.

Итак, по порядку:

  1. Отсутствие проблем с кодировками. В AIM вовсю используется UTF-8 — единственно возможная кодирока для любого более или менее международного проекта. В ICQ тоже есть поддержка UTF, но, во-первых, она включается только если клиенты на обеих сторонах заявили о поддержке юникода, иначе используется обычное представление, которое расшифровывается на усмотрение клиента. Это если не вспоминать о том безобразии как кодируются и отсылаются сообщения, отправленные пользователям, которые не в сети… Сорри, наболело…

  2. Поддрежка множественных входов в систему. В отличие от Джаббера с его хитрой системой приоритетов тут, как и в Skype, всё прямолинейно: приходящие сообщения отсылаются всем, кто зашел с данной учетной записью. При этом от контакта aolsystemmsg приходит сообщение “Ваша учётная запись используется на другом компьютере. Введите 1 чтобы их кикнуть”. Если не вводить, не кикнет и можно спокойно использовать систему с двух мест одновременно.

  3. [Из серии чем что угодно лучше ICQ]* Нет Бездушным Цифрам! Screenname — Наше Всё! Для идентификации собеседника AIM использует Screenname — произвольную строку из латинских букв и цифр. К сожалению, за десятилетие существования системы всё, что хоть чуть-чуть напоминало осмысленные слова было выюзано ордами пользователей, но тут придумали новый выход: используйте в качестве screenname ваш e-mail! (на него пришлют уведомление при регистрации)
    Тут AIM уделывает все известные мне системы, объединяя достоинства адресных пространств MSN и Yahoo
  4. [Сомнительное] Кроссплатформенность. AIM официально поддерживает Windows, Linux, MacOS и iPod/iPhone и имеет вдобавок веб-клиент. Сомнительное же оно потому что официальными клиентами всё равно редко кто пользуется из-за тонн рекламы.

  5. AIM — любимое детище. Если AOL придумает чем бы еще улучшить свои системы, оно добавит это либо и в ICQ и в AIM, либо только в AIM. Нет ни одной фичи, уникальной для ICQ.

  6. Ну и по мелочи там шифрование всякое…

Главный плюс AIM как альтернативы ICQ — интероперабельность: c контактами одной системы можно общаться, используя другую, но самое суровое ограничение — нельзя посылать сообщения контактам не в сети (в т.ч. тем, кто в сети, но невидим) — сводит “главный плюс” на нет. А еще одна моя подруга побоялась авторизовать контакт с человечком в качестве иконки :-D

* Кроме Gadu-Gadu (Польша) и Балачки (Украинская локализация GG) — там тоже уины. Видимо, славянская логика всё же серьёзно отличается от классической…

Comments