Logtalk

Рекламні посилання:
Скріншот програми:
Logtalk
Дані програми:
Версія: 3.20 оновлений
Дата завантаження: 26 Oct 18
Розробник: Logtalk
Ліцензія: Безкоштовно
Популярність: 11
Розмір: 4410 Kb

Rating: 4.0/5 (Total Votes: 4)

Рекламні посилання:


        Logtalk - це об'єктно-орієнтована логічна мова програмування, яка може використовувати більшість реалізацій Prolog у якості компенсатора. Як багатомовна мова, Logtalk включає підтримку як прототипів, так і класів, протоколів (інтерфейсів), компонентного програмування за допомогою композиції на основі категорій, керування подіями та програмування з багатопоточеним рівнем.
    

Що нового у цьому випуску:

* ПОПРАВЛЕНО: уникайте помилок відсутності директивних попереджень "meta_predicate / 1", коли фактичний мета-дзвінок не поділяє змінні з глава статті.


* ПОДКЛЮЧЕНО: Дозвольте використовувати лямбда-вирази в граматичних правилах, не вимагаючи обгортки `call // 1`.


* FIXED: помилка оптимізації при складанні мета-аргументу закриття, коли отримана мета - виклик вбудованого предикату Prolog через введення визначення визначення предикату користувача.


* FIXED: помилка оптимізації при складанні мета-аргументу закриття, коли отримана мета - це виклик конструктивної конструкції Prolog `: / 2`.

Що нового в версія 3.19:

* ADDED: Підтримка для визначення додаткових вбудованих прелогів Prolog для lint
перевірки цілей, які завжди відповідають або неправильні для файлів адаптерів за допомогою
гачок предикат `'$ lgt_candidate_tautology_or_falsehood_goal_hook' / 1`.


* ADDED: властивість об'єкта `module 'для об'єктів, що виникають у результаті складання
модулів Prolog.


* ДОДАТКОВА: помилка зручності, викидаючи вбудовані методи `syntax_error / 1` і
`system_error / 0`. Ці методи викидають стандартні винятки "помилка / 2"
і еквівалентні послідовності викликів методу `context / 1` та` throw / 1`.


* ВИДАЛЕНО: підтримка застарілих Logtalk 2.x `викликів / 1`,` використовує / 1`, і
`псевдонім / 3` директиви.


* REMOVED: підтримка застарілих контрольних конструкцій Logtalk 2.x `: / 1`.


* ВИДАЛЕНО: підтримка застарілих Logtalk 2.x `невідомих`, `singletons`,
'tmpdir` і `version`.

Що нового в версії 3.14:

НОВИНКА: Підтримка параметрів_параметра_, що забезпечує альтернативу
`parameter / 2` і` це / 1` вбудовані методи доступу до параметрів об'єкта.
Параметр змінні - це змінні, що використовуються в ідентифікаторі параметричного об'єкта
що починається і закінчується підкресленням (`_VariableName_`). Будь-який випадок
змінної параметра в суфіксному об'єкті неявно об'єднана з
параметр entity Це дозволяє додавати, переналаштувати параметри організації, або
вилучено, не вимагаючи внесення змін до статей, які стосуються їх.
Змінні параметрів підтримуються лише для параметричних сутностей, визначених у
вихідні файли.

Що нового? у версії 3.13:

НОВИНКА: Підтримка компілятора для виявлення дзвінків до локальних статичних предикатів без відповідних статей )

Що нового в версії 3.11.1:

* ПОДКЛЮЧЕНО: Повідомлення компілятора про попередження та повідомлення про помилки, щоб зробити їх більш однорідними, щоб полегшити синтаксичний аналіз редакторами та засобами інтелектуальної власності та уникнути друку потенційно великих термінів.


* ПОРЯДОК: компілятор більше не вимагає викликів в базу даних та предикатів відбиття, коли перший аргумент є терміном, який підпадає під модуль, який буде обернути, використовуючи конфігурацію керування байпасом `{} / 1`.


* ПОПРАВЛЕНО: Перевірка помилок компілятора для викликів предикатів бази даних та відбитків, де перший аргумент є терміном, що відповідає модулю.


* УДОСКОНАЛЕНО: мінімізувати кількість перезавантажень файлів, що ініціюються дзвінками до предикатів `logtalk_make / 0-1`.


* FIXED: випадок, коли предикати `logtalk_make / 0-1` не змогли б перезавантажити файл, компіляція якого спричинила помилку компілятора.

Що нового у версії 3.11:

* ЗМІНИ: Вбудований предикат `current_event / 5` завжди інстанцірует перший арґумент, коли його викликають, не пов'язані між собою.


* ADDED: Підтримка перевизначення каталогу за замовчуванням за замовчуванням шляхом визначення
бібліотека псевдонім `scratch_directory` у файлі ініціалізації бекенда Prolog
(передбачається завантаження перед завантаженням Logtalk). Після обговорення з
Дуглас Р. Майлз на підтримку установки журналу Logtalk у каталозі лише для читання
і запуск декількох екземплярів Logtalk одночасно без конфліктів.


* ADDED: Контекст виконання контексту `/ context` для забезпечення доступу
до контексту виконання предикатного виклику. В основному використовується для забезпечення за замовчуванням
контекст помилок під час перевірки типу аргументів предикатів.


* ADDED: Підтримка друку повідомлень типу 'debug' та `debug (_)`. Ці
Повідомлення друкуються лише за замовчуванням, коли прапорець 'debug' увімкнено.


* ДОДАТИ: властивість `включає (Файл)` до `logtalk :: loaded_file_property / 2`
предикат, який дозволяє перерахувати, шляхом відхилення, всі файли, що входять до складу a
завантажений файл (використовуючи директиви `include / 1`).

Що нового у версії 3.10.7:

* RENAMED: мітка `logtalk_make / 1` відсутня для` check`.


* ADDED: Підтримка розширення `logtalk_make / 1` цілей з визначеним користувачем
дії з використанням нового багатофункціонального предиката `logtalk_make_target_action / 1`.


* ADDED: Compiler lint перевіряє тавтологію та фальшиві цілі особи.
Наразі перевірені виклики до об'єднання, порівняння та типу Prolog
тестування вбудованих предикатів. Запропоновано Баррі Еванс.

Що нового в версії 3.10.5:

* FIXED: регресія, представлена ​​в релізі 3.10.2, коли виконується мета-виклик контекстні вбудовані методи.

* FIXED: несправність компілятора в результаті застосування перевірок переносимості на виклики в Prolog вбудовані предикати та функції, знайдені в допоміжних пропозиціях (зазвичай створюються механізмом розширення термінів).

Що нового у версії 3.10.3:

* УДОСКОНАЛЕНО: Спрощений код, створений для багатовимірних предикатів.


* FIXED: Регресія в попередньому релізі в складі багатофайлів
предикат, що зводять до конструкторських елементів `:: / 1-2`.

Що нового у версії 3.09.1:

* ADDED: Підтримка об'єктів number_of_rules / 1` та `number_of_user_rules / 1`
і властивості категорії.


* ADDED: Підтримка властивостей предиката `number_of_rules / 1`.


* ДОДАТИ: виявлення директив meta_predicate / 1, які неправильно вказують ціль
мета-аргумент, який фактично є замком, переданим до `call / 2-N` мета-предиката
дзвінки Спасибі Аруну Майумдару за звіт.


* ДОДАТИ: виявлення відсутніх директив про масштаби предикатів за наявності
`mode / 2`.

Що нового у версії 3.09.0:

* ЗМІНИ: Файли налаштувань тепер також шукають у користувача домашній каталог
коли не знайдено в каталозі запуску або в каталозі користувача Logtalk.
Встановлення значка `settings_file` для` restrict` тепер обмежує пошук
файл налаштувань для каталогу користувача Logtalk та домашнього каталогу користувача.
Ці зміни є корисними, коли команда інсталює Logtalk з обома
змінні оточення `LOGTALKHOME` і` LOGTALKUSER`, що вказують на
той же каталог. Дякуємо Баррі Еванс за пропозицію.

Що нового в версії 3.08.0:

* ЗМІНА: Переконайтеся, що в повідомленні про помилку та попередження компілятора Файл та інформація про лінію завжди є останнім рядком для звіту про проблему.

Що нового у версії 3.07.0:

* ADDED: прапорець `unicode` лише для читання, щоб описати компілятор Prolog для бекенда
підтримка стандарту Unicode.


* ADDED: підтримка екземпляру `++` (наземного) і `-` (незв'язаного) аргументу
режими (заявлені як оператори префіксу) для використання з предикатом `mode / 2`
директива


* ADDED: Підтримка специфікації детермінізму `one_or_error` в` mode / 2`
предикатні директиви. Корисно для документування предикатів типу перевірки.


* ПОПРАВЛЕНО: Виявлення спроб називати екзистенційно кількісні цілі поза межами
обсяг `bagof / 3` та` setof / 3` викликів.


* FIXED: При складанні директив `uses / 2` не створюйте посилальне посилання для
Використання runtime для вбудованих предикатів у `user`, коли не визначено псевдонім.


* FIXED: при поширенні збійної компіляції файлу до його батьківських файлів
переконайтеся, що файли предків будуть перезавантажені, починаючи з верхнього предка
за механізмом створення.


* FIXED: Уникайте надмірного завантаження файлів під час виклику `logtalk_make / 0` або
`logtalk_make / 1` з ціллю` all`.


* FIXED: виявлення відсутніх предикатів при дзвінках `^ / 1` під час дзвінка
`logtalk_make / 1` з ціллю` missing`.

* FIXED: помилка в API відбитків, де є деякі предикатні перехресні посилання
інформація не була записана Дякую Едвард Шварц за звіт про помилку.

Що нового в версії 3.06.2:

Цей випуск продовжує роботу над вдосконаленням інструментів розробника спонсорство компанії Kyndi, Inc. Він включає в себе нову версію інструменту для обгортки для переносу простих програм Prolog, а також вдосконалень та виправлень для інструментів lgtunit та діаграм. Він також включає в себе нові модульні тести, компілятор та виправлення документації та оновлення сумісності для Lean Prolog.

Що нового в версії 3.04.1:

* FIXED: помилка компілятора, де предикат, який термін розширено, викликаючи метод `compile_aux_clauses / 1`, може бути неправильно позначений як розривне.


* FIXED: дзвінки на вбудований предикат `threaded_notify / 1` з псевдооб'єкта` user` не повинні вимагати пов'язаного аргументу, як для документації.


* FIXED: Дзвінки на вбудовані предикати `` object_property / 2` і category_property / 2` з параметрами 'number_of_clauses / 1` або `number_of_user_clauses / 1` майновими аргументами, які мають бути детермінованими.

Що таке новий у версії 3.03.0:

* ADDED: Підтримка нової цілі `logtalk_make / 1`,` missing`, для відображення відсутніх сутностей та предикатів. Також доступний за допомогою ярлика `{?} '.

* ADDED: Підтримка нової `logtalk_make / 1` цільової,` циркуляр`, для переліку циркулярних посилань (з урахуванням цілей відправлення повідомлень) між парою і тріосом об'єктів. Також доступний за допомогою ярлика `{@} '.

* ПОДКЛЮЧЕНО: Додайте хеш-каталогу до проміжних імен файлів Prolog, щоб уникнути зіткнень імен файлів під час збирання всіх проміжних файлів у той же каталог для вбудовування. В даний час потрібно ECLiPSe, GNU
Prolog, JIProlog, Quintus Prolog, SIKSTES Prolog, SWI-Prolog, XSB або YAP як компенсатор бекенда.

* FIXED: помилка оптимізації викликів при мета-предикаті, коли мета-аргумент - або попередньо скомпільоване закриття або закриття для цілі, викликаної в контексті
Псевдо-об'єкт `user` Також застосовуйте більш строгу перевірку помилок, щоб закрити мета-аргументи.

* FIXED: досить друк параметричного об'єкта та ідентифікаторів параметричної категорії в повідомленнях про помилку та попередження.

Що нового у версії 3.02.2:

* FIXED: Помилка перевірки помилки в лямбда-виразах з використанням `true / 0` як лямбда
мета Спасибі Борису Васильєву за звіт про помилку.


* FIXED: предикат `logtalk_make / 1` буде успішним (після друку попередження
повідомлення), коли викликається з необґрунтованим чи недійсним аргументом замість
невдача до
створені проміжні файли Prolog, використовуючи багатофункціональний предикат для кращого
вбудований досвід. Зазначимо, що це полегшує ін'єкційне вкладення.


* ПОДКЛЮЧЕНО: тепер предикати make також перезавантажують батьківські файли файлів з
компіляція або завантаження помилок. Це гарантує, що при несправному файлі програма скасовує
складання всіх файлів у файлі завантажувача, файли, перелічені після несправного
Файл буде скомпільовано, коли виправлено помилковий файл, і є предикатами make
названий.

Що нового у версії 3.02.1:

* ПОДКЛЮЧЕНО: записи таблиць runtime для завантажених файлів тепер додаються до сгенерированих проміжних файлів Prolog за допомогою багатофайкового предиката для кращого втілення. Зазначимо, що це полегшує ін'єкційне вкладення.
 * ПОДКЛЮЧЕНО: тепер предикати make також перезавантажують батьківські файли файлів з помилками збірки або завантаження. Це гарантує, що, коли помилковий файл припинить компіляцію всіх файлів у файлі завантажувача, файли, зазначені після несправного файлу, будуть компілюватися, коли виправлено помилковий файл, і будуть викликані предикати make.

Що нового у версії 3.01.2:

Цей випуск завершує виконання статичної зв'язування; додає підтримку для використання імен файлів, як-от з компіляцією та завантаженням предикатів; виправляє помилки компілятора; функції оновлення документації; покращує засоби налагодження, тестування та документування; додає новий набір одиничних тестів для перевірки відповідності Prolog офіційним і де-факто стандартам; оновлює синтаксичну розмальовку для всіх підтримуваних текстових редакторів та синтаксичних виділень; і містить оновлення сумісності для ECLiPSe, JIProlog та YAP.

Вимоги :

Сумісний компілятор Prolog.

Схожі програми

Tuna
Tuna

3 Jan 15

Net4DBackupX
Net4DBackupX

4 Jan 15

an object path
an object path

3 Jan 15

Інші програми розробника Logtalk

Logtalk
Logtalk

3 May 15

Logtalk

Коментар не знайдено
додати коментар
Включіть картинки!
Пошук за категоріями