LINUX.ORG.RU

Сообщения ciiccii

 

[пролог,не пойму] рекурсия

Категорически вас приветствую.

Есть 2 базы. Одна имеет вид:

doctorate(258,"Dio Lewis Holl","Ph.D.","The University of Chicago",1925,"UnitedStates","Dissertation","Viscous Fluid Motion in Eccentric Cylinders").

Другая:

advisor(10,258).
advisor(10,38464).

Другими словами: вторая база содержит 2 поля с ID. Первый ID содержитсжя 2 первой базе(см. пример). Первая база содержит и другую информацию: имена, названия университетов и тд. Мне нужно пройтись по базе задав или ID или имя и вывести из базы нр. 1, имя.

Если я работаю только со второй базой, то проблем с рекурсией нет. Например я делаю так:

ancestor(X,Y):-advisor(X,Y).
ancestor(X,Y):- advisor(X,Z),ancestor(Z,Y).
ancestor(10,Y).

И получаю 2 результата:

?- ancestor(10,Y).
Y = 258 ;
Y = 38464 ;

Если я пытаюсь определить имена к этим ID(например 258,38464) пролог возвращает только один результат.

ancestor(X,Y):-advisor(X,Y).
ancestor(X,Y,NAME):- doctorate(Y,NAME,_,_,_,_,_,_),ancestor(X,Y).
ancestor(10,Y,NAME), writef("%s\n",[NAME]).

Получается:

?- ancestor(10,Y,NAME), writef("%s\n",[NAME]).
Dio Lewis Holl
Y = 258,
NAME = [68, 105, 111, 32, 76, 101, 119, 105, 115|...] ;

Тоесть есть имя только для ID 258. И ещё не нужная строка NAME.

Подскажите как сделать правильно, а также как избавиться от строки NAME....

Спасибо!

ciiccii
()

интеграция firefox в kde 4.6.1

Категорически вас приветствую!

Подскажите пожалуйста как интегрировать firefox в kde 4.6, чтобы firefoх распознавал MIME-типы?

Спасибо.

ciiccii
()

[chromium]очень много коннектов к гуглу

Перешёл с оперы на хромиум, вроде доволен. И тут, внезапно замечаю: при наличии открытых вкладок равном 0 количесво соединений хромиума к гуглу выглядит так:

tcp        0      0 192.168.0.103:50369     69.58.183.140:80        ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:50410     95.140.224.182:443      ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:60279     209.85.149.95:443       ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:38865     209.85.149.120:80       ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:55124     69.58.183.142:443       ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:59340     74.125.43.125:5222      ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:50414     95.140.224.182:443      ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:48034     209.85.149.105:80       ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:41015     209.85.149.100:80       ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:47944     209.85.149.105:80       ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:50413     95.140.224.182:443      ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:40899     209.85.149.100:80       ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:35000     209.85.149.95:80        ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:48035     209.85.149.105:80       ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:58623     209.85.149.100:443      ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:35003     209.85.149.95:80        ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:47431     209.85.149.105:443      ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:41016     209.85.149.100:80       ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:53255     209.85.149.82:443       ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:50411     95.140.224.182:443      ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:47974     209.85.149.105:80       ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:47978     209.85.149.105:80       ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:41014     209.85.149.100:80       ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:58648     209.85.149.100:443      ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:47977     209.85.149.105:80       ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:50412     95.140.224.182:443      ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:42459     209.85.149.139:80       ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:35004     209.85.149.95:80        ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:50415     95.140.224.182:443      ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:40924     209.85.149.100:80       ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:47980     209.85.149.105:80       ESTABLISHED 28754/chromium                                                                                                                                                 
tcp        0      0 192.168.0.103:51256     209.85.149.102:80       ESTABLISHED 28754/chromium 

И они вседа находятся в состоянии ESTABLISHED. Вопросы: доколе? зачем? у всех так?

 

ciiccii
()

[oпа]Взломаны крупнейшие cybercrime-форумы в РФ

http://www.xakep.ru/post/54940/

для Ъ:

Доступ к украденным БД получили ведущие компании в области борьбы с киберпреступностью и фродом – RSA, Anti Money Laundering Alliance и IISFA, а также силовые ведомства Европы, США и РФ.

ciiccii
()

[посоветуйте] пожалуйста Смартфон

желательно исходя из собственного опыта. На что смотреть при покупке? Цена: ~ 300 евро. Спасибо!

 

ciiccii
()

[arch, Ralink rt2870] заводится, но не едет

Категорически вас приветствую!

Помогите заставить работать вот это:

Bus 002 Device 003: ID 07d1:3c0f D-Link System AirPlus G DWL-G122 Wireless Adapter(rev.E) [Ralink RT2870]
в арче.

Проблема: вставляю эту железку, делаю modprobe rt2800usb. Далее появляется wlan1 интерфейс - вроде всё нормально. Пытаюсь подключиться к сети, но подключается оно 1 раз из 20 и даже если подключиться работает не более минуты. Дальше соединение рвётся.

Пробовал staging драйвер - даже не заводится. Пробовал ставить драйвер ис AUR'а(по этому чипсету у них есть вики-страница), но он тоже не заводится.
Пробовал заменять firmware на тот, который на сайте производителя - не помогло.

Зачем нужно: есть похожая железяка, но она всё время показывает слишком слабый сигнал(даже если расстояние до рутера меньше метра) и после перестановки(расстояние до рутера 5 метров) не соединяется с ним.

Такие дела.

ciiccii
()

[помогите]посоветуйте книгу по вычислительной математике и теории автоматов

Нужно разобраться в темах. Покупать учебники, это как покупать кота в мешке. Посему прошу, кто занимался этими вопросами, посоветуйте пожалуйста пару книг. Если в книгах есть упражнения с ответами это хорошо.
Приятного дня!

ciiccii
()

[не осилил vpn] traceroute принцип работы.

Объясните как оно работает?Сижу за NAT'ом,белый ip стоит 20 евро в месяц. Использую иногда vpn для торрентов и конспирации.
1)Включаю соединеие с vpn
2) Выполняю traceroute [любой адресс, кроме того, куда соединяется vpn]
Получаю ответ: первый узел один из серверов vpn. Всё понятно.
3) Выполняю traceroute [адресс куда соединяется vpn]
Тут в ответе первый узел это gateway моего провайдера.

Вопрос почему?

ciiccii
()

[добавить функционал]Всплывающая подсказка к комментариям

Думаю следующая задумка полезна и будет удобна для всех.

В топиках с большим кол-вом сообщений бывает, порой, неудобно читать сообщения пользователей. Пример: когда пользователь отвечает не на первый комментарий в теме. При этом у этого комментария нет заголовка. Мы сейчас видим «Ответ на: комментарий от имярек».

Поэтому приходится кликать на «комментарий» чтобы посмотреть, что написал пользователь имярек. По моему это не очень удобно. Предлагаю добавать функционал в виде всплывающей подсказки у «комментарий» с содержимым этого комментария.

Плюсы: - экономия времени - сайт станет удобнее

Минусы: - дополнительное обращение к базе данных(или всё-таки нет?)

ciiccii
()

Создание файла в /sys

Что-то я запутался, пытаюсь от пользователя root создать файл:

touch /sys/[любая_папка]/[имя_файла]
 или
echo 1 > /sys/[любая_папка]/[имя_файла]

и оно мне говорит: no such file or directory.

Куда копать? Спасибо!

ciiccii
()

Пара вопросов для знатоков Fedora(14)

В общем решил я пересесть с Убунты на Федору. И возникла у меня пара вопросов, но об этом я думаю вы уже догадались. ;)

Т.к. у меня не заработал wifi-адаптер dlink dwl-g122, встал вопрос о обновлении драйверов. В общем какие только драйвера я не компилировал, ни один не заработал.В backtrack этот адаптер, используя драйвер rt2800usb, заработал. modprobe rt2800usb в Федоре(драйвер входит в поставку Федора 14) приводит к ошибке «unknown symbol (-1)» . Ну думаю ладно, нашёл другой адаптер.

Ах да, перехожу к вопросам: На Убунту мне нравится пересобирать ядра - не спрашивайте зачем, сам точно не могу сказать. На openSuse, например, не рекомендуют этим заниматься. Как с этим обстоят дела в Федорe? Ядро я собрал(той-же версии) заново, скачав перед этим сорцы из репозитория Федоры. Наложив на неё правда пару патчей. Перезагрузился всё работает(даже wifi-адаптер заработал), только модули нужно загружать самому(звук,сетевые адаптеры и т.д.). Это моя ошибка или там так заведено? В мане на федорапроект.ком, не сказано ни слова про модули. Как можно исправить ситуацию?

Проблема номер два - это grub2. Кроме ядер Федоры он не видит других дистрибутивов установленных в другие партиции на одном диске. Как это можно обойти, кроме перезагруки в Убунту и уже оттуда вызывать update-grub?

Спасибо, желаю приятного дня!

ciiccii
()

RSS подписка на новые темы