Logtalk

Sponsorerede links:
Software screenshot:
Logtalk
Software detaljer:
Version: 3.20 Opdateret
Upload dato: 26 Oct 18
Udvikler: Logtalk
Licens: Gratis
Popularitet: 11
Størrelse: 4410 Kb

Rating: 4.0/5 (Total Votes: 4)

Sponsorerede links:


        Logtalk er et objektorienteret logisk programmeringssprog, der kan bruge de fleste Prolog-implementeringer som back-end-kompilator. Som et multi-paradigm-sprog omfatter Logtalk støtte til både prototyper og klasser, protokoller (grænseflader), komponentbaseret programmering gennem kategoribaseret sammensætning, hændelsesdrevet programmering og programmering på flere niveauer.
    

Hvad er nyt i denne udgave:

* FORBEDRET: Undgå falske manglende `meta_predicate / 1`-advarsler, når det faktiske meta-opkald ikke deler variable med klausul hoved.


* FORBEDRET: Tillad brug af lambda udtryk i grammatik regler uden at kræve en `call // 1` wrapper.


* FIXED: Optimeringsfejl i sammenstillingen af ​​et meta-argument med lukning, når det resulterende mål er et opkald til et Prolog-indbygget prædikat på grund af indlejring af en brugerprotikatdefinition.


* FIXED: Optimeringsfejl i sammenstillingen af ​​et meta-argument, når det resulterende mål er et opkald til en Prolog `: / 2'-kontrolkonstruktion.

Hvad er nyt i version 3.19:

* TILFØJ: Støtte til at definere yderligere Prolog-indbyggede prædikater for lint
kontrol af mål, der altid er sande eller falske for adapterfilerne ved hjælp af
hook predicate `'$ lgt_candidate_tautology_or_falsehood_goal_hook' / 1`.


* Tilføjet: Objektegenskab `modul` for objekter, der skyldes kompileringen
af Prolog-moduler.


* Tilføjet: Nærhedsfejl kaste indbyggede metoder `syntax_error / 1` og
`System_error / 0`. Disse metoder kaster standard `error / 2`-undtagelsesbetingelser
og svarer til en sekvens af `kontekst / 1` og` throw / 1`-metodeopkald.


* Fjernet: Understøttelse af udtages Logtalk 2.x `calls / 1`,` uses / 1` og
`alias / 3`-direktiver.


* Fjernet: Understøttelse af udskrevet Logtalk 2.x `: / 1` kontrolkonstruktion.


* Fjernet: Understøttelse af udskrevet Logtalk 2.x `unknown`,` singletons`,
`tmpdir` og` version` compiler flag.

Hvad er nyt i version 3.14:

NY: Understøttelse af _parametervariabler_ giver et alternativ til
`parameter / 2` og `this / 1` indbyggede metoder til adgang til enhedsparametre.
Parametervariabler er variabler, der anvendes i den parametriske enhedsidentifikator
som starter og slutter med et understreger (`_VariableName_`). Enhver forekomst
af en parametervariabel i en enhedsklausul er implicit forenet med
enhed parameter. Dette tillader enhedsparametre at tilføjes, omarrangeres eller
fjernet uden at kræve ændringer i de bestemmelser, der henviser til dem.
Parametervariabler understøttes kun for parametriske enheder defineret i
kildefiler.

Hvad er nyt i version 3.13:

NY: Kompilatorsupport til at opdage opkald til lokale statiske prædikater uden matchende klausuler ).

Hvad er nyt i version 3.11.1:

* FORBEDRET: Compiler advarsels- og fejlmeddelelser for at gøre dem mere ensartede for at lette parsing af redaktører og IDE'er og for at undgå at udskrive potentielt store vilkår.


* FORBEDRET: Kompilatoren kræver ikke længere opkald til databasen, og refleksion forudsiger, hvor det første argument er et modulkvalificeret udtryk, der skal indpakkes ved hjælp af `{} / 1` kompilator bypass-kontrolkonstruktionen.


* FORBEDRET: Kompilator fejlkontrol af database og refleksionsprotikatopkald, hvor det første argument er et modulkvalificeret udtryk.


* FORBEDRET: Minimer antallet af genoplæsninger, der udløses af opkald til 'logtalk_make / 0-1` prædikaterne.


* FIXED: Tilfælde hvor "logtalk_make / 0-1" forudsætninger ikke kunne genindlæse en fil, hvis samling genererede en compiler fejl.

Hvad er nyt i version 3.11:

* ÆNDRET: Det indbyggede prædikat `current_event / 5` for altid at instantiere det første argument, når det kaldes sammen med det ubundne.


* Tilføjet: Støtte til at overstyre standardskrabelisten ved at definere
biblioteket alias `scratch_directory` i en backlog Prolog initialisering fil
(antages at blive indlæst før Logtalk loading). Efter en diskussion med
Douglas R. Miles om at understøtte installation af Logtalk i en skrivebeskyttet bibliotek
og kører flere Logtalk-tilfælde samtidigt uden konflikt.


* Tilføjet: En `kontekst / 1` indbygget kontekstudførelsesmetode til at give adgang
til en kontekst for udførelse af prædikatekald. Bruges hovedsagelig til at angive en standard
fejl kontekst når typekontrol prædikat argumenter.


* Tilføjet: Støtte til udskrivning af meddelelser af venlig `debug` og` debug (_) `. Disse
meddelelser udskrives som standard kun, når "debug" -flagget er tændt.


* Tilføjet: Ejendom `indeholder (File)` til `logtalk :: loaded_file_property / 2`
prædikat for at tillade, at alle filer inkluderet af a

Hvad er nyt i version 3.10.7:

* RENAMED: Den `logtalk_make / 1` mål` mangler` at `tjekke '.


* Tilføjet: Støtte til at udvide `logtalk_make / 1` mål med brugerdefineret
handlinger ved hjælp af det nye multifilieprotikat `logtalk_make_target_action / 1`.


* ADDED: Compiler lint kontroller for tautologi og falskhed enhed mål.
Aktuelt tjekket er opkald til Prolog-forening, sammenligning og type
tester indbyggede prædikater. Foreslået af Barry Evans.

Hvad er nyt i version 3.10.5:

* FIXED: Regression introduceret i release 3.10.2, når meta-calling execution kontekst indbyggede metoder.

* FIXED: Kompilatorsvigt som følge af anvendelse af portabilitetskontrol til opkald til Prolog-indbyggede prædikater og funktioner, der findes i hjælpeklausuler (normalt genereret af terminsudvidelsesmekanismen).

Hvad er nyt

strong> i version 3.10.3:

* FORBEDRET: Forenklet kode genereret til multifile predikater.


* FIXED: Regression i tidligere udgivelse i kompilering af multifil
prædikaklausuler, der kalder op til :: :: / 1-2` kontrolkonstruktioner.

Hvad er nyt i version 3.09.1:

* Tilføjet: Støtte til `number_of_rules / 1` og` number_of_user_rules / 1` objekt
og kategori egenskaber.


* Tilføjet: Understøttelse af `number_of_rules / 1` predikat ejendom.


* ADDED: Påvisning af `meta_predicate / 1`-direktiver, der fejlagtigt angiver et mål
meta-argument, der faktisk er en lukning, der er passeret til `call / 2-N` meta-predicate
opkald. Tak til Arun Majumdar for rapporten.


* TILFØJET: Påvisning af manglende prædikatirektivdirektiver i nærvær af
'mode / 2`-direktiver.

Hvad er nyt i version 3.09.0:

* ÆNDRET: Indstillingsfiler er nu også opsøgt i brugeren hjemmemappe
når den ikke findes i startkatalogen eller i Logtalk brugerkatalog.
Indstilling af `settings_file` flag til` begræns 'begrænser nu søgning efter
en indstillingsfil til Logtalk brugerkatalog og brugerens hjemmekatalog.
Disse ændringer er nyttige, når et team deler en Logtalk-installation med begge
'LOGTALKHOME` og `LOGTALKUSER` miljøvariablerne peger på
samme mappe. Tak til Barry Evans for forslaget.

Hvad er nyt i version 3.08.0:

* ÆNDRET: Sørg for, at i compilerfejl og advarselsmeddelelser fil- og linieoplysninger er altid den sidste linje for det rapporterede problem.

Hvad er nyt i version 3.07.0:

* ADDED: Et "unicode" skrivebeskyttet flag for at beskrive backend-Prolog-kompilatoren
støtte til Unicode-standarden.


* Tilføjet: Støtte til `++` (jord) og `-` (ubundet) argument instansiering
tilstande (erklæret som præfiksoperatører) til brug med `mode / 2'-prædikatet
direktiv.


* Tilføjet: Støtte til `one_or_error` determinismespecifikation i` mode / 2`
prædikatirektiver. Nyttigt til dokumentation af typekontrolpredikater.


* FORBEDRET: Opdag forsøg på at kalde eksistentielt kvantificerede mål uden for
omfanget af `bagof / 3` og` setof / 3`-opkald.


* FIXED: Opret ikke en linkingsklausul for. Når du udarbejder `bruger / 2`-direktiver
runtime brug for indbyggede prædikater i `bruger`, når der ikke defineres et alias.


* FIXED: Når der udbredes en kompileringsfejl for en fil til dens overordnede filer,
sørg for, at filforfædrene genindlæses, begyndende med den øverste forfader
ved fabrikationsmekanismen.


* FIXED: Undgå overflødige fillaster når du kalder `logtalk_make / 0` eller
`logtalk_make / 1` med målet` alle`.


* FIXED: Påvisning af manglende prædikater i `^^ / 1` opkald, når du ringer
`logtalk_make / 1` med målet` missing`.

* FIXED: Fejl i refleksions-API'en, hvor nogle prædikat krydsreferencer
Oplysninger blev ikke registreret. Tak til Edward Schwartz for fejlrapporten.

Hvad er nyt i version 3.06.2:

Denne udgivelse fortsætter arbejdet med at forbedre udviklerens værktøjer under sponsoratet af Kyndi, Inc. Det indeholder en ny version af indpakningsværktøjet til overførsel af almindelige Prolog-applikationer og forbedringer og rettelser til lgtunit- og diagramværktøjerne. Den indeholder også nye enhedsprøver, compiler- og dokumentationsrettigheder og en kompatibilitetsopdatering til Lean Prolog.

Hvad er nyt i version 3.04.1:

* FIXED: Compiler bug hvor et prædikat, der er terminsudvidet ved at kalde 'compile_aux_clauses / 1`-metoden, kunne fejlagtigt rapporteres.


* FIXED: Opkald til 'threaded_notify / 1` indbygget prædikat indefra `bruger'-pseudo-objektet må ikke kræve et bundet argument som pr dokumentation.


* FIXED: Opkald til `object_property / 2` og category_property / 2` indbyggede prædikater med` number_of_clauses / 1` eller `number_of_user_clauses / 1` ejendomsargumenter til at være deterministiske.

Hvad er ny i version 3.03.0:

* Tilføjet: Støtte til et nyt `logtalk_make / 1`-mål, 'missing`, for at liste manglende enheder og prædikater. Også tilgængelig ved hjælp af `{?}` Genvej.

* Tilføjet: Støtte til et nyt `logtalk_make / 1` mål, 'cirkulært', for at angive cirkulære referencer (i betragtning af besked afsendelsesmål) mellem par og trios af objekter. Også tilgængelig ved hjælp af `{@}` genvej.

* FORBEDRET: Tilføj en katalog hash til de mellemliggende Prolog-filnavne for at undgå at undgå filnavnekollisioner, når du samler alle mellemfiler i samme mappe til indlejring. I øjeblikket kræves ECLiPSe, GNU
Prolog, JIProlog, Quintus Prolog, SICStus Prolog, SWI-Prolog, XSB eller YAP som backend-kompilatoren.

* FIXED: Meta-predicate call optimization bug, når et meta-argument er enten en forud sammensat lukning eller en lukning til et mål kaldet i sammenhæng med
`bruger` pseudo-objekt. Anvend også strengere fejlkontrol for at lukke meta-argumenter.

* FIXED: Pretty-print af parametriske objekter og parametriske kategoridentifikatorer i fejl- og advarselsmeddelelser.

Hvad er nyt i version 3.02.2:

* FIXED: Fejl ved at kontrollere fejl i lambda udtryk med `true / 0` som lambda
mål. Tak til Boris Vassilev for fejlrapporten.


* FIXED: 'Logtalk_make / 1`-predikatet ville lykkes (efter udskrivning af en advarsel
besked), når den kaldes med et ikke-instantiated eller et ugyldigt argument i stedet for
svigtende. til
genererede mellemliggende Prolog-filer ved hjælp af et multifilieprotikat til en bedre
indlejring erfaring. Det gør det lettere at gøre trinvis indlejring.


* FORBEDRET: Maskinen forudsiger nu også genoplæse de overordnede filer af filer med
kompilering eller indlæsning fejl. Dette sikrer, at når en defekt fil afbryder
kompilering af alle filer i en loader-fil, de filer, der er opført efter fejlen
filen vil blive kompileret, når den fejlbehæftede fil er fikset, og fremstillingspredikaterne er
kaldet.

Hvad er nyt i version 3.02.1:

* FORBEDRET: Runtime-tabelopførsler for indlæste filer tilføjes nu til de genererede mellemliggende Prolog-filer ved hjælp af et multifilieprotikat til en bedre indlejringsoplevelse. Det gør det lettere at gøre trinvis indlejring.
 * FORBEDRET: Maskinen forudsiger nu også genoplæse de overordnede filer af filer med kompilering eller indlæsning af fejl. Dette sikrer, at de filer, der er opført efter den fejlbehæftede fil, bliver kompileret, når en fejlbehæftet fil afbryder kompileringen af ​​alle filer i en loader-fil, når den defekte fil er rettet, og præfabrikerne kaldes.

Hvad er nyt i version 3.01.2:

Denne udgivelse fuldender den statiske bindingsimplementering; tilføjer støtte til brug af filnavne som-er med kompilering og indlæsning af prædikater; reparerer compiler bugs; indeholder dokumentationsopdateringer; forbedrer fejlfinding, testning og dokumentation af værktøjer; tilføjer et nyt sæt enhedsprøver til kontrol af Prolog-overensstemmelse med officielle og de facto standarder opdaterer syntaksfarver til alle understøttede tekstredigerere og syntaxstiftere; og indeholder kompatibilitetsopdateringer til ECLiPSe, JIProlog og YAP.

Krav :

Kompatibel Prolog-compiler.

Lignende software

Andre software developer Logtalk

Logtalk
Logtalk

3 May 15

Kommentarer til Logtalk

Kommentarer ikke fundet
Tilføj kommentar
Tænd billeder!