Logtalk

Screenshot Software:
Logtalk
Mga detalye ng Software:
Bersyon: 2.44.1
I-upload ang petsa: 14 Apr 15
Nag-develop: Paulo Moura
Lisensya: Libre
Katanyagan: 1

Rating: nan/5 (Total Votes: 0)

Logtalk ay open source object-oriented extension ng sa paunang salita programming language. Pagsasama logic programming sa mga object-oriented at kaganapan-driven programming, ito ay katugma sa karamihan ng paunang salita compiler.
Logtalk ay sumusuporta sa parehong modelo at mga klase. Bilang karagdagan, sinusuportahan ito ng component-based programming sa pamamagitan ng komposisyon kategorya na batay

Mga Tampok :.

  • Paghihiwalay sa pagitan ng interface at pagpapatupad:
  • tambalan kautusan (deklarasyon) ay maaaring nakapaloob sa loob ng mga protocol (mga interface), na maaaring ipinatupad ng anumang object.

  • Parametric bagay:

  • Mga pangalan ng
  • Bagay ay maaaring maging tambalang tuntunin na naglalaman libreng mga variable na maaaring magamit upang parametrize bagay na predicates.

  • Suporta para sa parehong mga sistema ng klase-based at prototype na batay sa:
  • Maaaring mayroon kang, sa parehong application, hierarchies (na may relasyon Instantiation at pagdadalubhasa) at prototype-based hierarchies (na may relasyon extension) klase-based.

  • Suporta para sa maramihang mga object hierarchies:
  • Hindi na kailangang ma-nilimitahan sa isang solong mahabang hierarchy rooted sa ilang mga generic na bagay.

  • Pribado, pinoprotektahan, at pampublikong inheritance:
  • Logtalk sumusuporta sa pribado, pinoprotektahan, at pampublikong mana sa paraang katulad ng sa C. Bukod dito, ang anumang mga entity na may kaugnayan maaaring kwalipikado gamit ang isang saklaw ng keyword.

  • Pribado, pinoprotektahan, at pampublikong object predicates:
  • Itakda ang saklaw ng iyong object predicates upang tumugma sa iyong disenyo protocol at hayaan ang runtime sistema ipatupad ang iyong mga pinili.

  • Static at dynamic na bagay:
  • Mga bagay ay maaaring maging alinman sa static o dynamic. Static na mga bagay ay tinukoy sa mapagkukunan ng mga file na inipon at load sa parehong paraan tulad ng paunang salita file. Maaaring natukoy Dynamic na bagay sa mapagkukunan ng mga file o nilikha sa runtime.

  • Static at dynamic na bagay predicates:
  • Anumang mga static na bagay ay maaaring maglaman ng parehong static at dynamic na predicates.

  • Ang isang pre-processor upang maaari naming gamitin ang pangkaraniwang paunang salita syntax:
  • Logtalk ay gumagamit ng standard na paunang salita syntax sa ang pagdaragdag ng ilang mga operator at mga direktiba para sa isang makinis na kurba sa pagkatuto.

  • programming Kaganapan-driven:
  • Predicates maaaring nang kataon lamang na tinatawag na kapag nangyayari ang isang spied kaganapan, na nagpapahintulot sa mga solusyon programming na i-minimize ang bagay na pagkabit. Bilang karagdagan, ang mga kaganapan magbigay ng suporta para sa pagmuni-muni asal.

  • Component na batay sa pagpo-program:
  • Predicates maaaring encapsulated sa loob ng mga kategorya, na maaaring halos import ng anumang bagay, nang walang anumang code duplicate at kanikanilang mga bagay na hierarchies. Kaya, mga bagay ay maaaring tinukoy sa pamamagitan ng mga bahagi ng mga kategorya, na gumaganap bilang pinino yunit code ng muling paggamit.

  • Multi-mana sa suporta:
  • Sinusuportahan ng Logtalk multi-mana ng parehong protocol at pagpapatupad. Maaaring ipatupad ang isang bagay ng ilang mga protocol at pahabain, dalubhasa, o magbigay ng halimbawa ng ilang mga bagay. Multi-mana salungatan ay malulutas nang kataon lamang ng mga algorithm ng paghahanap ng Logtalk o tahasang pamamagitan ng paggamit ng tambalan kautusan.

  • Good pagganap:
  • Logtalk code ay pinagsama-sama gamit ang parehong teknikong paksang pinag-aaralan na ginagamit mo upang sumulat ng mahusay na paunang salita code. Bilang karagdagan, ang pamamaraan lookup na-cache ng Logtalk runtime engine, lubhang pagpapabuti ng pagganap. Benchmark mga resulta para sa ilang paunang salita compiler ang makukuha dito.

  • Isara ang pagsasama sa mga ISO paunang salita Standard:
  • Logtalk ay dinisenyo para sa maayos na pagsasama sa anumang paunang salita compiler na conforms o malapit na sumusunod sa ISO Standard paunang salita.

  • Tugma sa pinaka paunang salita compiler:
  • Logtalk mga interface sa isang partikular na compiler paunang salita sa pamamagitan ng isang minimal na ginagawang mas tugma sa halos anumang mga modernong compiler configuration file.

  • Ang awtomatikong henerasyon ng XML file ng dokumentasyon:
  • Awtomatikong binubuo ng Logtalk ng dokumentasyon file sa XML format para sa bawat inipon bagay, protocol, o kategorya. Kasama ng system ang lahat ng mga kinakailangang XSL (T) na mga file at mga script upang i-convert na nakadokumento ang mga file sa (X) HTML at PDF.
  • Logtalk ay tumatakbo sa halos anumang computer gamit ang isang paunang salita compiler (ang pangunahing kapaligiran ng pagbuo ay isang Apple PowerBook G4 tumatakbo MacOS X). Ang interface sa pagitan ng Logtalk at isang tiyak na paunang salita compiler ay natapos sa pamamagitan ng isang configuration file.
  • Ang file na ito ay naglalaman ng ilang partikular na Logtalk predicates at pagpapatupad para sa ISO paunang salita standard predicates hindi magagamit sa paunang salita compiler.

  • Sa pagsusulat Logtalk ko sinubukang sundin ang mga pamantayang ISO paunang salita hangga't maaari. Kakayahan na kailangan ng Logtalk na hindi tinukoy sa Bahagi ko ng karaniwang ISO ay:

  • access sa tambalan ari-arian (dynamic, static, built_in):
  • Ibinigay na ang iyong mga paboritong paunang salita ay may mga kakayahan sa nabanggit sa itaas, sa paggawa ng isang configuration file ay napakadaling. Ang Logtalk package na may kasamang mga file ng configuration para sa mga pinaka-karaniwang paunang salita compiler. Para sa pinakamahusay na pagganap, Logtalk ay nangangailangan na sumusuporta sa paunang salita compiler unang-argumento sa pag-index para sa parehong static at dynamic code.

  • Logtalk developement at pagsubok ay kasalukuyang na ginawa gamit ang mga sumusunod paunang salita compiler (sa alpabetikong order):
  • GNU paunang salita 1.2.18
  • SWI paunang salita 5.4.7
  • tumahol 4.5.7
  • Dahil doon, ang mga ito ay marahil ang iyong pinakamahusay na pagpipilian para sa pagpapatakbo ng Logtalk (pagbibigay na ikaw ay malayang gamitin ang isa sa mga compiler).

  • Bilang karagdagan, Logtalk ay tumatakbo na may kaunti o walang pagbabago sa mga sumusunod na paunang salita compiler (sa alpabetikong order):
  • ALS paunang salita 3.1
  • Amzi! Paunang salita 6.22 ~ 7.x
  • BinProlog 8.x ~ 10.x
  • B-paunang salita 4.0, 5.0, 6.x
  • CIAO paunang salita 1.10p5
  • paglalaho 5.5 ~ 5.8
  • KUNG / paunang salita 5.x
  • JIProlog 3.0.1-2
  • K-paunang salita 5.1.2a
  • LPA MacProlog32 1.25
  • LPA WinProlog32 4.0x
  • MasterProlog 4.1
  • Buksan ang paunang salita 1.1b10
  • PrologII 4.5
  • qu-paunang salita 6.7
  • Quintus paunang salita 3.3 ~ 3.5
  • SICStus paunang salita 3.8 ~ 3.12.x
  • XSB 2.6 ~ 2.7

Ano ang bagong sa paglabas:

  • Binago ang mensahe sa pagpapadala ng mekanismo upang tawagan ang & quot; bago & quot; tagapangasiwa ng kaganapan bago isagawa ang paraan ng paghahanap ng. Ay dapat magkaroon ng pagbabagong ito walang epekto sa umiiral na code ngunit nagbibigay-daan sa ilang mga kawili-wiling mga application (hal mabigo sa halip na masusuka ng pagbubukod kapag ang isang mensahe ay hindi naintindihan).
  • Higit pang mga pare-pareho ang pamamahala ng compiler ng mga flag sa pagitan ng pagtatakda ng mga halaga-flag kapag kino-compile / pag-load ng isang file at kapag ginagamit ang set_logtalk_flag / 2 built-in na tambalan: sa parehong mga sitwasyon, ang pagtatakda ng & quot; smart_compilation & quot; -flag sa ay i-off ang & quot; malinis & quot; flag at pagtatakda ng & quot; malinis & quot; -flag sa ay i-off ang & quot; smart_compilation & quot; flag. Gayundin, ang pagtatakda ng & quot; i-debug & quot; -flag sa ay magpapasara sa parehong & quot; smart_compilation & quot; at & quot; malinis & quot; mga flag.
  • Pinapayagan ang mga soft-cut kontrol bumuo, (* - & gt;) / 2, kapag natively suportado ng back-end paunang salita compiler, na gagamitin sa katawan ng mga panuntunan sa grammar (pagkatapos ng pangungusap sa pamamagitan ng Daniel Diaz habang tinatalakay ng GNU paunang salita ng suporta para sa mga soft-cut kontrol bumuo).
  • Nawastong isang Logtalk compiler bug kapag ang & quot; source_data & quot; -flag ay nasa sa back-end paunang salita compiler kung saan ay hindi posible upang makuha ang posisyon ng isang read termino.
  • Nawastong isang bug sa pagsasama-sama ng meta_non_terminal / 1 directive kung saan tanging nais maproseso ang unang meta-argumento nang tama.
  • -update ang paglalaho config file upang matukoy kapag tumatakbo sa Windows 64 bit system at upang huwag pansinin non-tambalan at di-export operator kapag pre-processing Lib / 1 direktiba.
  • -update ang yunit ng pagsubok balangkas upang i-print ang mas nagbibigay-kaalaman mensahe para sa Nabigo ang pagsusuri ng yunit.
  • Idinagdag tambalan hatiin / 4 (para sa paghahati ng isang listahan sa mga sublist sa isang naibigay na haba) sa & quot; listp & quot ;, & quot; listahan & quot ;, at & quot; difflist & quot; entity library.
  • -update ang & quot; cc & quot; Halimbawa may kahulugan para sa shell / 2 tambalan para sa CxProlog.
  • Nagbago ang mga pangalan ng mga bagay sa & quot; mi & quot; Halimbawa upang maiwasan ang mga salungatan sa pangalan kapag tumatakbo ang mga pagsubok halimbawa unit.
  • Nawastong isang bug sa Windows installer na pumigil sa pag-detect ng tumahol 64 bit na bersyon. Salamat sa Stepan Ipatov para sa ulat ng bug.
  • Nawastong isang bug sa Windows installer na pumigil sa mga gumagamit mula sa pag-customize ang direktoryo sa pag-install. Salamat sa Daniel Moniz para sa ulat ng bug at i-Gavin Lambert para sa pag-diagnose ang bug.
  • -update ang Windows installer script para sa pinahusay na paghahanap ng mga XSB at sa default upang i-install lamang ang mga file ng bawat gumagamit kapag tumatakbo sa pamamagitan ng isang hindi-admin user sa isang computer kung saan Logtalk ay naka-install.
  • Idinagdag pangunahing suporta para sa LaTeX & quot; mga listahan & quot; package. Idinagdag mga tala sa & quot; I minted & quot; at & quot; texmates & quot; Package ng LaTeX.
  • Idinagdag mga tala sa Textastic iPad text editor.
  • Idinagdag basic syntax pangkulay at code ng natitiklop na suporta para sa UltraEdit editor ng teksto.
  • -update ang TextMate bundle upang huwag paganahin ang awtomatikong pag-indent ng mga pagwawasto ipinakilala sa bersyon ng pagbuo ng TextMate 2.0.

Ano ang bagong sa bersyon 2.44.0:

  • Nagbago ang semantic ng umaayon sa mga kategorya upang payagan ang patching kapwa tambalan ng mga pagpapahayag at tambalan kahulugan ng kinumpleto bagay. Ito ay nagagawa sa pamamagitan ng pagtiyak simulan na tambalan pahayag at kahulugan lookup sa umaayon sa mga kategorya ng bago aaralan ang kinumpleto object mismo o sa kaugnay nitong mga entity.
  • -update ang Logtalk compiler upang bumuo ng isang babala kapag kino-compile ang isang umaayon sa kategorya para sa isang kinumpleto bagay na iyon ay pinagsama-sama na may suporta para sa umaayon sa mga kategorya ng naka-off.
  • Nawastong isang bug sa pagpoproseso ng meta-tawag para sa meta-predicates kung saan ang konteksto na pagtawag ay nakatakda sa & quot; ito & quot; sa halip na & quot; nagpadala & quot; sa tuwing ang isang meta-argumento ay isa sa mga :: / 2, {} / 1,

Ano ang bagong sa bersyon 2.43.3:

  • Nagbago ang compiler sa isinasaalang-alang ng paggamit / 2 direktiba kapag kino-compile ang tawag sa pagmuni-muni built-in na mga pamamaraan. Ang pagbabagong ito ay umaabot ng semantic ng mga gamit / 2 panuto at nagbibigay-daan sa mas madali ang paglipat mula sa simpleng mga application paunang salita sa Logtalk.
  • -update ang pagpapatupad ng predicate_property / 2 built-in na pamamaraan, ang pagdadagdag ng isang saklaw / 1 ari-arian.
  • -update ang Logtalk compiler upang magdagdag ng impormasyon tungkol sa isang pangalan ng source file, direktoryo ng source file, at mga pagpipilian sa source file compiler sa paunang salita na nabuo ng mga file. Sa mga nakaraang bersyon, ang impormasyong ito ay nakarehistro lamang kapag naglo-load ng isang source file. Ang mga pagbabago gawing simple gusali application kung saan Logtalk mga aklatan ay pre-pinagsama-sama at pre-load.
  • -update ang Logtalk compiler upang i-print ang pangalan ng hook sa bagay na ginamit sa pagsasama-sama ng mga mapagkukunan ng mga file kapag ang & quot; hook & quot; compiler i-flag ay tinukoy.
  • -update ang built-in debugger upang maiwasan ang mga hindi kinakailangang mga punto choice na nilikha ng back-end paunang salita compiler na ang bawiin / 1 pagpapatupad nabigo upang samantalahin ang mga lohikal na semantic-update upang gumawa ng mga tawag deterministic.
  • Nawastong isang bug sa handler compiler runtime Logtalk kung saan ito ay nabigong mag-decompile panloob na entity mga tagatukoy kapag masusuka entity pagkakaroon ng mga pagbubukod.
  • -update ang Lean paunang salita config file, pagdaragdag ng index / 1 direktiba para sa ilan sa mga dynamic na predicates na ginamit ng mga panloob na mga talahanayan Logtalk runtime.
  • -update ang SWI-paunang salita sa pagsasama ng mga file upang subukan para sa kakayahang magamit ng index / 1 directive, na kung saan ay hindi na ginagamit ng mga bagong pang-eksperimentong SWI-paunang salita ng suporta para lamang-in-time na multi-argument-i-index.
  • Added predicates subsequence / 4 (para sa pagbuo ng subsequences ng isang listahan sa isang naibigay na haba), palitan / 4 (para sa pagpapalit ng mga elemento sa isang listahan), at hamming_distance / 3 sa library & quot; listp & quot; at & quot; listahan & quot; entidad.
  • Idinagdag euclidean_norm / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3, at scalar_product / 3 predicates sa library & quot; numberlistp & quot; at & quot; numberlist & quot; entidad.
  • Nawastong ilang mga nakakatawa mga bug sa sa kahulugan ng & quot; character na & quot; predicates object library is_bin_digit / 1, is_octal_digit / 1, is_dec_digit / 1, at is_hex_digit / 1.
  • -update ang library & quot; all_loader.lgt & quot; loader file upang i-load din ang & quot; meta_compiler_loader.lgt & quot; loader file.

Ano ang bagong sa bersyon 2.43.1:

  • Nagbago ang compiler sa isinasaalang-alang ng paggamit / 2 direktiba kapag kino-compile ang tawag sa database built-in na mga pamamaraan. Ang pagbabagong ito ay umaabot ng semantic ng mga gamit / 2 panuto at nagbibigay-daan sa mas madali ang paglipat mula sa simpleng mga application paunang salita sa Logtalk.
  • Nagdagdag ng suporta para sa mga pang-eksperimentong paggamit ng isang template ng tambalan bilang argument sa coinductive / 1 panuto. Binibigyang-daan ka ng template na ito ang mga detalye ng kung aling mga argumento ay may kabuluhan para sa coinductive tagumpay. Batay sa mga katulad na pag-andar na natagpuan sa sa DRA meta-interpreter Feliks Kluzniak iyon.
  • Pinahusay na suporta para sa pag-debug coinductive predicates kapag ginagamit ang Logtalk built-in debugger.
  • Inalis coinduction suporta para sa CxProlog. Ang kasalukuyang bersyon ng compiler Walang built-in na tambalan o kontrol bumuo ng mga soft-cut, na kinakailangan na ngayon sa pamamagitan ng pang-eksperimentong coinduction pagpapatupad.
  • Pinawalang-bisa ang isang matagal nang magandang limitasyon na napigilan ang kahulugan gumagamit ng wrapper predicates para sa bagof / 3 at setof / 3 built-in na mga pamamaraan sa tuwing maaaring gamitin ang argumento layunin ng ^ / 2 existential quantifier.
  • Nagdagdag ng suporta para sa & quot; ^ & quot; meta-tambalan meta-argumento mode specifier iminungkahi ng Jan Wielemaker at natagpuan sa SWI-paunang salita 5.11.25. Ito mode specifier ay kapaki-pakinabang kapag pagtukoy wrappers para sa bagof / 3 at setof / 3 built-in na mga pamamaraan sa tuwing maaaring gamitin ang argumento layunin ng ^ / 2 existential quantifier.
  • Added & quot; prolog_compiler & quot; at & quot; prolog_loader & quot; compiler watawat, na payagang pagpasa sa mga pagpipilian sa back-end paunang salita compiler built-in na predicates na sumulat ng libro sa disk at i-load ng (pinagsama-sama) paunang salita na flag. Ang default na halaga para sa parehong mga flag ay ang walang laman na listahan.
  • Nawastong isang bug kapag kino-compile ang mga tawag sa paunang salita sa pagmamay-ari built-in na meta- predicates kung saan ang Logtalk compiler ay maaaring subukan na iproseso ang mga argumento di meta- bilang mga layunin. Bug na ito ipinahayag lamang ang sarili nito sa ilang back-end paunang salita compiler gaya ng paglalaho.
  • Nawastong isang bug sa pagpoproseso ng kondisyong compilation kautusan.
  • Nawastong isang bug na pumigil sa pagpasa ng alyas / 3 direktiba sa mga tawag sa create_object / 4, create_category / 4, at create_protocol / 3 built-in na predicates.
  • Inalis mula sa built-in & quot; logtalk & quot; ang decompile_predicate_head / 4 at decompile_predicate_indicator / 4 hindi na ginagamit na mga pamamaraan.
  • Inalis na suporta para sa mahabang hindi na ginagamit Logtalk metapredicate / 1 direktiba.
  • Nawastong ng pagganap bug kapag cache ng mga tawag sa predicates kategorya kung saan ang mga entry na naka-cache ay maaaring maging mas tiyak kaysa sa kinakailangan kapag nagtatrabaho sa parametric kategorya.
  • Pinahusay na pag-cache ng & quot; sobrang & quot; tawag mula sa loob ng mga modelo. Noong nakaraan, ang lahat ng mga entry na naka-cache ay dalubhasa sa pamamagitan ng halaga ng & quot; sarili & quot; upang maayos makitungo sa mga espesyal na mga kaso kung saan ang isang bagay parehong instantiates at dalubhasa iba pang mga bagay.
  • -update ang Logtalk compiler upang i-activate ang anumang mga pagdeklara ng operator na matatagpuan sa tambalan saklaw direktiba sa panahon ng pagsasama-sama ng mga entity na naglalaman ng kautusan.
  • Pinahusay na ang pagganap ng coinductive predicates kapag gumagamit ng back-end paunang salita compiler gaya ng SICStus paunang salita na huwag ibigay ang soft-cut kontrol bumuo ngunit magbigay ng soft-cut built-in na meta-tambalan (kung / 3).
  • Nawastong ang isang bug kung saan ang isang hindi totoo ulat ng compilation / paglo-load ng mga babala ma-print na kapag ang isang source file ay inipon / puno ng mga compiler flag na & quot; ulat & quot; naka-off.
  • Nagdagdag ng & quot; streamvars & quot; library na bagay, na nakuha mula sa umiiral na & quot; assignvars & quot; library kategorya, nagtatampok ang suporta para sa pagdaragdag at pagkuha ng mga termino (na maaaring maging variable) mula sa isang & quot; stream & quot; variable.
  • -update ang & quot; coinduction & quot; Halimbawa, sinasamantala ng pinahusay na coinductive / 1 panuto at palawakin ang bilang ng mga indibidwal na mga halimbawa na maaaring tumakbo gamit ang SICStus paunang salita. Nagdagdag ng modelo ng pagsusuri Halimbawa, ang paggamit ng coinduction, coroutining, at mga hadlang, na iniambag sa pamamagitan ng Neda Saeedloei.
  • -update ang & quot; I metapredicates & quot; Halimbawa may sample code naglalarawan kung paano nauugnay upang tukuyin wrappers para sa bagof / 3 at setof / 3 built-in na mga pamamaraan kapag maaaring maglaman ng mga meta-argumento existentially mga karapat-dapat na variable.
  • -update ang & quot; cc & quot; Halimbawa, pagwawasto tambalan kahulugan para sa ilang back-end paunang salita compiler at pagdadagdag ng ilang mga pangunahing pagsusuri ng yunit.
  • -update ang & quot; I-encode & quot; Halimbawa may limitadong suporta para sa Lean paunang salita.
  • Idinagdag nawawalang entry para sa meta_non_terminal / 1 panuto at para sa mga tawag // N non-terminal sa & quot; tulong & quot; Halimbawa.
  • Nagdagdag ng pang-parse para sa PDDL 3.0 file, iniambag ni Robert Sasak.
  • Added code natitiklop na suporta sa SubEthaEdit text editor. Idinagdag code natitiklop na suporta para sa mga kondisyong compilation bloke sa mga editor ng teksto Kate, Vim, at TextMate.
  • -update ang pagsasama ng mga script upang i-load ang mga path ng library maghain bago paglo-load ng Logtalk compiler / runtime. Nilalayon ng pagbabagong ito upang gawing simple naglo-load ng mga file ng library at halimbawa mula sa mga file ng mga setting. Bilang karagdagan, tumingin din para sa direktoryo sa pag-install Logtalk sa $ HOME / share kapag ang LOGTALKHOME environment variable ay hindi natukoy. Salamat Upang VAtor Santos Costa para sa mungkahi.
  • -update ang Windows installer upang suportahan Lean paunang salita at makita ang tumahol 64 bit na bersyon.

Ano ang bagong sa bersyon 2.43.0:.

  • Nagdagdag ng suporta para sa mga pang-eksperimentong Lean paunang salita
  • Nagbago error sa pag-uulat ng Logtalk compiler at runtime. Na ngayong gamitin ang mga term sa pagbubukod, hangga't maaari, ang mga error (Error, logtalk (Layunin, Entity))
  • format. Binago ang panloob na error pagsuri upang gamitin, sa tuwing praktikal, ang bagong '$ lgt_must_be' / 2-3 panloob predicates.
  • Nagdagdag ng & quot; i-optimize & quot; i-flag, na ang default na halaga ay & quot; sa & quot ;. Flag na ito ay nagbibigay-daan sa user na i-off ang umiiral na mga pag-optimize para sa hal pag-debug ng mga gawain (ang
  • kasalukuyang ipinatutupad optimization isama ang pag-alis ng kalabisan ng mga tawag sa true / 0 mula sa katawan ng pinagsama-sama tambalan clause at ang pag-alis ng
  • kalabisan ng mga tawag sa (=) / 2 mula sa katawan ng clause na binuo ng ang pagpapalawak ng mga panuntunan sa grammar).
  • Nagdagdag ng & quot; source_data & quot; i-flag, na ang default na halaga ay & quot; sa & quot ;. Sa set flag na ito sa & quot; sa & quot ;, Logtalk ay panatilihin ang impormasyon na kinakatawan ng mode / 2,
  • info / 1-2, ginagamit / 2, at use_module / 2 direktiba kasama ang data na mapagkukunan ng lokasyon (kabilang ang mga pangalan ng source file at mga numero ng linya), kapaki-pakinabang para sa parehong mga pag-debug
  • at para sa pagsasama sa tool pag-unlad. Maaaring i-turn-off ang flag na ito upang bumuo ng higit pang mga compact na code. Ang parameter_names / 1 object at
  • kategorya ari-arian ay inalis upang maiwasan ang pag-uulit.
  • Ipinatupad protektado / 1 at pribadong / 1 mga katangian para sa mga bagay, mga protocol, at mga kategorya. Sama-sama sa publiko / 1 ari-arian, mga katangian ng
  • Nagbibigay-daan ang listahan ng mga predicates ipinahayag sa nilalang para ma-access para sa mapanimdim computations. Ipinatupad declares / 2, Tinutukoy / 2, Kasama / 3,
  • at nagbibigay / 3 katangian para sa pag-access ang mga katangian ng predicates ipinahayag at nilinaw sa loob ng isang entity. Mga katangian ng Pahayag na isama line_count / 1, ang linya bilang ng mga tambalan saklaw panuto. Mga katangian Kahulugan isama line_count / 1, ang linya bilang ng mga ulo ng unang
  • sugnay para sa tambalan, at number_of_clauses / 1, ang bilang ng mga clause para sa tambalan. Ipinatupad din sa pang-eksperimentong mga gamit / 3 at use_module / 3 mga pag-aari.
  • Nagdagdag ng tambalan ari-arian, redefined_from / 1, na nagpapahintulot sa querying tungkol sa bagay o kategorya na naglalaman ng isang kahulugan ng tambalan na redefined.
  • Nagdagdag ng loaded_file / 3 tambalan sa & quot; logtalk & quot; built-in na bagay, na Papuri ang umiiral loaded_file / 2 tambalan at nagbibigay ng access sa mga
  • tahasang mga pagpipilian na ginagamit kapag ang mga file ay pinagsama-sama at load.
  • Ipinatupad compiler suporta para sa mga meta_non_terminal / 1 panuto at ang tawag // N built-in na non-terminal.
  • Pinasimple ang pagsasama-sama ng mga panuntunan sa grammar sa pamamagitan ng pag-alis ng suporta para sa pagharap sa mga di-terminal saklaw at pagkakaroon ng mga error sa panuntunan sa grammar
  • antas sa halip na sa antas ng tambalan. Kahit na ang tampok na ito ay maaaring maging kapaki-pakinabang kapag ang pag-debug panuntunan sa grammar, kumplikado ito ang pagsasama ng Logtalk sa mga tool sa paunang salita-katutubong-unlad.
  • -update ang Logtalk compiler upang i-save ang sugnay na lokasyon entity at gawing magagamit ang impormasyong ito sa back-end paunang salita compiler.
  • -update ang Logtalk compiler upang maiwasan ang mga hindi kinakailangang pagbuo ng panloob na clause catchall para sa tambalan pahayag at kahulugan mga talahanayan para sa mga dynamic na entidad.
  • -update ang Logtalk compiler sa pagkakasunud-sunod na humahadlang sa paggamit multifile predicates para paghiwa-hiwalayin ang bagay na encapsulation. Ang isang pangunahing pagpapahayag
  • Dapat na umiiral ang entidad, na naglalaman ng parehong saklaw at isang multifile panuto para sa tambalan. Bilang karagdagan, ang pagtukoy sa clause para sa isang multifile
  • Entity :: Functor / Arity walang kaukulang multifile / 1 directive ay ngayon nagresulta sa isang pagsasama-sama ng error sa halip na lamang ng babala.
  • Inalis ang Logtalk compiler paghihigpit na pinilit discontiguous / 1 at dynamic / 1 direktiba upang pangunahan tawag sa ipinahayag predicates.
  • Pinahusay na mga ulat Logtalk compiler ng misspelt mga tawag sa mga di-terminal sa mga panuntunan sa grammar.
  • Payagan ang paggamit ng:. / 1 ​​kontrol bumuo sa katawan ng mga panuntunan sa grammar
  • Kapag ang pag-debug ng mga mensahe na tinukoy sa mga gamit / 2 mga kautusan, ang mensahe ay naka-print na ngayon nang kataon lamang kwalipikadong bilang sa source code na isinulat ng mga user.
  • Nagbago ang panloob na predicates ginamit sa pagpapatupad ng built-in na multi-threading predicates upang mapadali ang integrasyon sa

  • Mga tool
  • pag-debug ng mataas na antas na nangangailangan ng decompilation ang nabuong paunang salita code.
  • Nawastong isang bug ipinakilala sa Logtalk 2.42.4 sa pagsasama-sama ng mga entity predicates na tinatawag na naka-synchronize predicates. Nagresulta sa mga tawag na ito bug
  • ginagawa sa halip na ang mga hindi naka-synchronize ang mga paraan ng mga predicates, na maaaring ipakilala sa random pagkabigo ng mga layunin thread.
  • Nawastong isang mahabang standing bug kung saan ang isang runtime-compile meta-call sa loob ng isang kategorya ay pinagsama-sama bilang isang tawag sa isang tambalan ng bagay
  • pag-import ng kategorya sa halip bilang isang tawag sa isang lokal na kategorya tambalan.
  • Nawastong isang mahabang standing bug kung saan ang mga halaga-flag entity itakda ang lokal na paggamit ng set_logtalk_flag / 2 directive ay mabigo i-save sa entity
  • pinagsama-sama code.
  • Nawastong isang mahabang standing bug kapag pawalang-bisa ang isang dynamic na tambalan sa isang non-object prototype kung saan ang buwagin / 1 pamamaraan ay magtagumpay nang walang
  • ang tambalan pagiging tunay abolisado.
  • Nawastong isang bug sa pag-set ang tamang konteksto pagpapatupad kapag tumatawag ang isang meta-argumento na ay nangangailangan ng isang runtime compilation sa konteksto ng
  • & quot; nagpadala & quot;.
  • Nawastong isang bug sa pagsasama-sama ng tahasang pag-qualified na mga tawag sa module ng meta-predicates kung saan ang pagiging kwalipikado module ay bumaba mula sa
  • inipon tawag. Tandaan na ang mga tawag ay ginagamit Logtalk meta-tambalan semantic (yan ang meta-argumento ay tinatawag na sa konteksto ng mga
  • caller) sa halip ng sa karaniwang paunang salita module meta-tambalan semantic.
  • Nawastong ang isang bug kung saan ang coinduction stack ay hindi nasimulan kapag ginagamit ang

Ano ang bagong sa bersyon 2.42.4:

  • Ang bersyon na ito ay may kasamang compiler, runtime, at marami threading pag-optimize ng pagganap, nagpapabuti sa mga mensahe ng error compiler para sa naka-synchronize / 1 at dynamic / 1 kautusan, ay nagdadagdag ng suporta para sa pagpapanatili ng impormasyon operator saklaw at outputting ang impormasyong ito upang ang awtomatikong nabuong XML na nakadokumento ang mga file, nagdaragdag ng mga bagong utility predicates sa logtalk bagay, nagpapabuti sa ilang mga programming mga halimbawa, ay nagsasama ng isang remedyo para sa isang SWI-paunang salita Uninstaller bug sa Windows, at nagtatampok ng mga update para sa maaaring dalhin qu-paunang salita, SICStus paunang salita, SWI-paunang salita, XSB, at tumahol.

Ano ang bagong sa bersyon 2.42.3:

  • Ang bersyon na ito ay nagdadagdag ng suporta para sa mga dynamic na pagtawag predicates sa konteksto ng & quot; ito & quot; mula sa loob ng mga kategorya, nagdadagdag ng suporta para sa mga pre-pinagsama-sama sugnay ulo, Kasama bugfixes at pagpapabuti sa mga built-in debugger, kasama ang pinabuting mga aklatan at mga halimbawa, nagdadagdag ng suporta para sa indexicals kapag ginagamit ang SICStus paunang salita CLP (FD) library, nagdaragdag ng isang pang-eksperimentong halimbawa ng gamit naiuugnay ang mga variable sa loob ng mga bagay at kategorya, at nagtatampok ng mga update maaaring dalhin para sa paglalaho, GNU paunang salita, SICStus paunang salita, at SWI-paunang salita.

Ano ang bagong sa bersyon 2.42.2:

  • Ang bersyon na ito ay nagpapabuti ng pagsasama-sama ng mga tawag sa module predicates , nagpapabuti sa pag-check ng meta-argumento sa meta-tambalan tawag, nagpapahusay ng suporta para sa lambda expression, kabilang ang isang optimize compiler para sa mga tawag sa library meta-predicates, nagdaragdag ng mga bagong library para sa pag-log ng mga kaganapan, nagtatrabaho kasama ang buhay na ito lamang relasyon agwat ng, at paggamit ng integer counter, nagpapabuti umiiral na mga halimbawa at mga aklatan, nagdadagdag ng suporta para sa paggamit ng na batay sa JavaScript SyntaxHighlighter package, at nagtatampok ng mga update para sa maaaring dalhin ng GNU paunang salita, qu-paunang salita, SICStus paunang salita, SWI-paunang salita, at XSB.

Ano ang bagong sa bersyon 2.42.1:

  • Ang bersyon na ito ay nagdadagdag ng suporta para sa mga bagong meta-tambalan mode mga tagapagpahiwatig, pagpapagana ng suporta para sa higit paunang salita sa pagmamay-ari built-in na meta-predicates.
  • Suporta ay idinagdag para sa pag-detect at pag-uulat nawawala dynamic / 1 at discontiguous / 1 direktiba.
  • Isang bagong-flag lint ay idinagdag.
  • Dalawang meta-tambalan compilation bug ay naitama.
  • Ang ilan sa mga halimbawa ay na-update.
  • maaaring dalhin ang mga update ay ginawa para sa B-paunang salita, SICStus paunang salita, SWI-paunang salita, XSB, at tumahol.

Iba pang mga software developer ng Paulo Moura

Logtalk
Logtalk

11 Mar 16

Mga komento sa Logtalk

Mga Komento hindi natagpuan
Magdagdag ng komento
I-sa mga imahe!