четверг, 21 марта 2013 г.

Eclipse Modeling Framework (EMF) – Туториал

›
Lars Vogel Eclipse EMF Туториал описывает использование Eclipse EMF для моделирования модели данных и генерации Джава кода из нее. Туториа...
среда, 13 февраля 2013 г.

Приложения Google Play и Root права для RMD 1035

›
Установив официальную прошивку 4.1 с удивлением обнаружил, что некоторые игры и приложения перестали быть поддерживаемыми, и из Гугл Плей ...
2 комментария:
вторник, 12 февраля 2013 г.

Прошивка Lumia 710 на 7.8

›
Ну, продолжая серию прошивок, решил прошить заодно и телефон, а то что-то оператор не шлет обнову мне (МТС). Итак, поизучав вопрос, понял, ...
пятница, 1 февраля 2013 г.

Туториал по языку программирования Пролог

›
Вот пост-сборник всех моих переводов. Перевод завершен. Кривовато, может быть буду дорабатываться, но это же as is. =) Введение Погружен...

Prolog #8.3: Семантика – Вычислительная модель

›
Давайте рассмотрим как определенные ранее определения( аха ) применимы к нашему примеру. Когда мы запускаем запрос ?- edge(a, X). Пролог ...

Prolog #8.2: Семантика – Вычислительная модель

›
8.2 Резолюция После того, как интерпретатор Пролог принял запрос от пользователя, интепретатор проходит через цикл в котором есть две актив...

Prolog #8.1: Семантика – Вычислительная модель

›
В предыдущих главах мы пытались дать идею о синтаксисе и семантике Пролог. В этой главе мы более пристально посмотрим на вычислительную моде...