Logtalk

Софтуер снимки:
Logtalk
Софтуер детайли:
Версия: 3.38 актуализира
Дата на качване: 4 May 20
Розробник: Logtalk
Разрешително: Безплатно
Популярност: 25
Размер: 20008 Kb

Rating: 4.0/5 (Total Votes: 4)


        Logtalk е обектно-ориентиран логически език за програмиране, който може да използва повечето приложения на Prolog като компилатор от типа "back-end". Като мулти-парадигмен език, Logtalk включва поддръжка както на прототипи и класове, протоколи (интерфейси), компонентно програмиране чрез композиция, базирана на категории, програмиране, управлявано от събития, и програмиране на много нишки на високо ниво.
    

Какво е новото в това издание:

* ПОДОБРЕНА: Избягвайте фалшиви липсващи предупреждения за "meta_predicate / 1", когато действителното мета-повикване не споделя променливи с главата на клаузата.


* ПОДОБРЕНА: Позволете да използвате ламбда изразите в граматичните правила без да изисквате обвивка `call // 1`.


* FIXED: Оптимизиране на грешката при компилирането на meta-аргумент за затваряне, когато получената цел е повикване към вграден предиктор Prolog, което се дължи на вмъкване на дефиниция на потребителски предсказател.


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

Какво ново в версия 3.19:

* Добавено: Подкрепа за дефиниране на допълнителни Prolog вградени предикати за власинки
проверки на цели, които винаги са верни или невярни на адаптерните файлове, използващи
кука предикат `` $ lgt_candidate_tautology_or_falsehood_goal_hook '/ 1`.


* ADDED: Object property `module 'за обекти, които са резултат от компилацията
от модулите Prolog.


* ADDED: Грешка в удобството при хвърлянето на вградени методи 'syntax_error / 1` и
`System_error / 0`. Тези методи излагат стандартните термини за "грешка / 2"
и са еквивалентни на последователност от извиквания на метода `context / 1` и` throw / 1`.


* REMOVED: Поддръжка за оттеглени Logtalk 2.x `calls / 1`,` uses / 1` и
директиви "alias / 3".


* REMOVED: Подкрепа за отхвърлена Logtalk 2.x`: / 1` контролна конструкция.


* REMOVED: Подкрепа за оттеглени Logtalk 2.x `неизвестни`,` singletons`,
"tmpdir" и "version" флагове на компилатора.

Какво е новото във версия 3.14:

NEW: Подкрепа за променливи _parametre_, които предлагат алтернатива на
"параметър / 2" и "този / 1" вградени методи за достъп до параметри на предприятието.
Параметърните променливи са променливи, използвани в параметричния идентификатор на обекта
които започват и завършват с подсказка ("_VariableName_"). Всяко събитие
на променлива на параметър в клауза за обект е имплицитно обединена с
параметър на предприятието. Това позволява параметрите на предприятието да се добавят, пренареждат или
премахнати, без да се налагат промени в клаузите, които се отнасят до тях.
Параметърните променливи се поддържат само за параметричните обекти, дефинирани в

Ново във версия 3.13:

НОВО: Поддръжка на компилатора за откриване на разговори към местни статични предикати без съвпадащи клаузи )

Какво е новото във версия 3.11.1:

* IMPROVED: Предупредителни съобщения и съобщения за грешки, за да ги уеднаквят, за да улеснят анализа от редакторите и IDE и да избегнат отпечатването на потенциално големи термини.


* IMPROVED: Компилаторът вече не се нуждае от обаждания към базата данни и предсказанията за отражение, където първият аргумент е модул-квалифициран термин, който трябва да бъде увит, използвайки контролния конструкт на bypass на компилатора.


* IMPROVED: Проверка на грешките на компилатора за извиквания на база данни и рефлексия, където първият аргумент е модул-квалифициран термин.


* ПОДОБРЕНА: Минимизиране на броя на презарежданията на файлове, задействани от повиквания към предсказанията `logtalk_make / 0-1`.


* FIXED: Случай, където предходните думи "logtalk_make / 0-1" не успеят да презаредят файл, чието компилиране генерира компилаторна грешка.

Какво е новото във версия 3.11: р>

* CHANGED: Вграденият предикат `current_event / 5` винаги да инстанциира първия аргумент, когато се нарича с него несвързан.


* ADDED: Подкрепа за премахване на директорията по подразбиране по подразбиране чрез дефиниране
библиотеката псевдоним "scratch_directory" в файл за инициализация на прозореца на Prolog
(предполага се, че е зареден преди товаренето на Logtalk). След дискусия с
Дъглас Р. Майлс относно поддръжката на инсталирането на Logtalk в директория само за четене
и изпълняващи множество случаи Logtalk едновременно без конфликт.


* ADDED: "Контекст / 1" вграден в контекст метод за изпълнение, за да осигури достъп
към контекст на изпълнение на предикатен разговор. Използва се основно за осигуряване на стандарт
контекст на грешката, когато аргументите за типово доказване на предикат.


* Добавено: Поддръжка за отпечатване на съобщения от типа `debug` и` debug (_) `. тези
съобщенията се отпечатват само по подразбиране, когато флагът `debug` е включен.


* ADDED: Property 'включва (File) `към` logtalk :: loaded_file_property / 2`
предикат да позволи изброяване, чрез отстъпване, на всички файлове, включени в a
(

Какво е новото във версия 3.10.7:

* RENAMED: Целта `logtalk_make / 1`` липсва ', за да се "провери".


* Добавено: Подкрепа за разширяване на целите "logtalk_make / 1" с дефинирани от потребителя
действията, използващи новия мултифилен предсказан "logtalk_make_target_action / 1".


* ADDED: Компилаторът не използва хартия за тавтология и цели на лъжата.
Понастоящем се проверяват обажданията до Unification, сравняване и тип Prolog
тестване на вградени предикати. Предложено от Бари Евънс.

Какво е новото във версия 3.10.5:

* ОПАКОВКА: контекстно вградени методи.

* FIXED: Неизпълнение на компилатора в резултат на прилагането на проверки за преносимост към повиквания към вградени предиктори и функции на Prolog, намерени в помощните клаузи (обикновено генерирани от механизма за разширяване на термините).

Какво ново? strong> във версия 3.10.3:

* ПОДОБРЕНА: Опростен код, генериран за многофазни предсказания.


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

Какво е новото във версия 3.09.1:

* ДОБАВЕН: Поддръжка за обекта `number_of_rules / 1` и` number_of_user_rules / 1`
и категории свойства.


* ADDED: Подкрепа за "number_of_rules / 1" предикатност собственост.


* Добавено: Откриване на директиви "meta_predicate / 1", които неправилно определят цел
мета-аргумент, който всъщност е затваряне, предавано на "call / 2-N" мета-предсказание
призовава. Благодарение на Арун Маюмддар за доклада.


* Добавено: Откриване на липсващи директиви за обхвата на предсказания в присъствието на

Какво е новото във версия 3.09.0:

* CHANGED: начална директория
когато не се намери в стартовата директория или в потребителската директория на Logtalk.
Задаването на флага "settings_file" на "restrict" сега ограничава търсенето
файл с настройки към потребителската директория на Logtalk и домашната директория на потребителя.
Тези промени са полезни, когато екипът споделя инсталация Logtalk и с двете
променливите на средата "LOGTALKHOME" и "LOGTALKUSER", сочещи към
същата директория. Благодарение на Barry Evans за предложението.

Какво е новото във версия 3.08.0:

* CHANGED: файловата и линейната информация винаги е последният ред за отчетения проблем.

Какво е новото във версия 3.07.0:

* ADDED: Знак "unicode" само за четене, за да опише компилатора на Prolog
поддръжка за стандарта Unicode.


* Добавено: Подкрепа за инициализиране на аргументи `++ '(наземни) и` --` (нелиберализирани)
(обявени като префикс оператори) за използване с предсказание `mode / 2`
директива.


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


* ПОДОБРЕНА: Откриване на опитите за извикване на количествено измерими цели извън
обхват на обажданията "bagof / 3" и "setof / 3".


* FIXED: При съставянето на директивите `uses / 2`, не създавайте клауза за свързване
употреба по време на работа за вградени предикати в "потребител", когато няма дефиниран псевдоним.


* FIXED: Когато разпространявате неизпълнение на компилацията за даден файл към основните файлове,
уверете се, че файловите предци ще бъдат презаредени, започвайки с най-предния прародител
от създаващия механизъм.


* FIXED: Избягвайте презареждането на файловете при извикване на "logtalk_make / 0" или
`logtalk_make / 1` с цел" all ".


* FIXED: Откриване на липсващи предикати в `^ ^ / 1` повиквания при обаждане
"logtalk_make / 1` с цел" липсва ".

* FIXED: Грешка в приложния програмен интерфейс за отразяване, където има някакво предикатно кръстосано сравнение
информацията не е записана. Благодарение на Едуард Шварц за отчета за грешки.

Какво е новото във версия 3.06.2:

Тази версия продължава работата по подобряването на инструментите за разработчици спонсорството на Kyndi, Inc. Включва нова версия на инструмента за обвиване за пренасяне на обикновени приложения на Prolog, както и подобрения и поправки за инструментите за диагностика и диаграми. Също така включва нови тестове за единица, корекции на компилатори и документация и актуализация за съвместимост на Lean Prolog.

Какво е новото във версия 3.04.1: * FIXED: Грешка при компилатора, при която предикат, разширен с термини чрез извикване на метода "compile_aux_clauses / 1", може да бъде погрешно съобщаван като несъответстващ.


* FIXED: Обажданията към вградения predicat_notify / 1 в рамките на псевдо-обекта "user" не трябва да изискват обвързан аргумент според документацията.


* FIXED: Обажданията към вградените предсказания `object_property / 2` and category_property / 2` с аргументи на собственост` number_of_clauses / 1` или `number_of_user_clauses / 1` са определящи.

Какво е нов във версия 3.03.0:

* Добавено: Подкрепа за нова цел "logtalk_make / 1", "missing", за да се добавят липсващи обекти и предикати. Също така можете да използвате клавиша "{?}".

* Добавено: Подкрепа за нова цел "logtalk_make / 1", "кръгова", за да се изброят циркулярни препратки (като се имат предвид целите за изпращане на съобщения) между двойки и триа от обекти. Налице е и с помощта на "{@}" прекия път.

* IMPROVED: Добавете хеш директория към междинните имена на файлове Prolog, за да избегнете сблъсъци с имена на файлове, когато събирате всички междинни файлове в една и съща директория за вграждане. В момента се изисква ECLiPSe, GNU
Prolog, JIProlog, Quintus Prolog, SICStus Prolog, SWI-Prolog, XSB или YAP като съставител на бекенда.

* FIXED: Проблем за оптимизиране на повикване на мета-предсказател, когато метаданк е или предварително компилирано затваряне, или затваряне за цел, наречена в контекста на
"потребител" псевдо-обект. Също така прилагайте по-строга проверка на грешките за затваряне на мета-аргументите.

* FIXED: Достатъчно отпечатване на параметрични идентификатори на обекти и параметрични категории в грешките и предупредителните съобщения.

Какво е новото във версия 3.02.2:

* FIXED: Грешка при проверката на грешката в ламбда изразите като "true / 0" като ламбда
цел. Благодарим на Борис Василев за доклада за грешката.


* FIXED: Предсказанието `logtalk_make / 1` ще успее (след отпечатване на предупреждение
съобщение), когато се извика с неинстанционен или невалиден аргумент вместо
неуспешен. към
генерирани междинни Prolog файлове, използващи мултифилен предсказаник за по-добро
вграждане на опит. Забележително е, че е по-лесно да се направи постепенно вграждане.


* ПОДОБРЕНА: Предварителните знаци на make сега също така презареждат основните файлове на файловете
грешки при компилиране или зареждане. Това гарантира, че когато дефектният файл прекрати
съставяне на всички файлове в файл на товара, файловете, изброени след грешката
файлът ще бъде компилиран, когато дефектният файл бъде фиксиран и са направени предикати

Какво е новото във версия 3.02.1:

* ПОДОБРЕНА: Записите в таблицата по време на изпълнение за заредените файлове сега се добавят към генерираните междинни Prolog файлове, като се използва многофазна предикат за по-добро вграждане. Забележително е, че е по-лесно да се направи постепенно вграждане.
 * IMPROVED: Предимствата на make сега също така презареждат основните файлове на файлове с грешки при компилиране или зареждане. Това гарантира, че когато дефектният файл прекрати компилацията на всички файлове във файла на зареждащия файл, файловете, изброени след дефектния файл, ще бъдат съставени, когато дефектният файл бъде фиксиран и се извикат предсказателните команди.

Какво е новото във версия 3.01.2:

Тази версия завършва изпълнението на статичното свързване; добавя поддръжка за използването на имена на файлове както е с компилиращите и зареждащи предикати; поправя бъгове на компилатора; функции актуализации на документацията; подобрява инструментите за отстраняване на грешки, тестване и документиране; добавя нов набор от тестови единици за проверка на съответствието на Prolog с официални и de facto стандарти; обновява синтаксиса за всички поддържани текстови редактори и синтаксиси; и включва актуализации за съвместимост за ECLiPSe, JIProlog и YAP.

Изисквания :

Съвместим компилатор на Prolog.

Подобен софтуер

Migrator
Migrator

3 Jan 15

HexDecBin
HexDecBin

3 Jan 15

Друг софтуер на разработчика Logtalk

Logtalk
Logtalk

3 May 15

Коментари към Logtalk

Коментари не е намерена
добавите коментар
Включете на изображения!
Търсене по категория