Logtalk

Skjermbilde programvare:
Logtalk
Prog.varedetaljer:
Versjon: 3.38 Oppdatert
Last opp dato: 4 May 20
Utvikler: Logtalk
Lisens: Gratis
Popularitet: 25
Størrelse: 20008 Kb

Rating: 4.0/5 (Total Votes: 4)


        Logtalk er et objektorientert logisk programmeringsspråk som kan bruke de fleste Prolog-implementeringer som en back-end kompilator. Som et multi-paradigmspråk inkluderer Logtalk støtte for både prototyper og klasser, protokoller (grensesnitt), komponentbasert programmering gjennom kategoribasert komposisjon, hendelsesdrevet programmering og programmering på flere nivåer.
    

Hva er nytt i denne versjonen:

* FORBEDRET: Unngå falske missing meta_predicate / 1`-advarsler når den faktiske meta-samtalen ikke deler variabler med klausulhode.


* FORBEDRET: Tillat bruk av lambda-uttrykk i grammatikkregler uten å kreve en `call // 1` wrapper.


* FIXED: Optimaliseringsfeil i kompilering av et meta-argument ved avslutning når det resulterende målet er et kall til et Prolog-innebygd predikat på grunn av innfelling av en brukerprotikatdefinisjon.


* FIXED: Optimaliseringsfeil i kompilering av et meta-argument når det resulterende målet er et kall til en Prolog `: / 2` kontrollkonstruksjon.

Hva er nytt i versjon 3.19:

* ADDED: Støtte for å definere ekstra Prolog innebygde predikater for lint
sjekker mål som alltid er sanne eller falske for adapterfilene ved hjelp av
krok predikat `'$ lgt_candidate_tautology_or_falsehood_goal_hook' / 1`.


* ADDED: Objektegenskap `modul` for objekter som kommer fra samlingen
av Prolog-moduler.


* ADDED: Convenience error kaste innebygde metoder `syntax_error / 1` og
`System_error / 0`. Disse metodene kaster standard `error / 2` unntaksvilkår
og er ekvivalent med en sekvens av `kontekst / 1` og` kaste / 1`-metodeanrop.


* Fjernet: Støtte for utdatert Logtalk 2.x `calls / 1`,` uses / 1`, og
`alias / 3`-direktiver.


* REMOVED: Støtte for utdatert Logtalk 2.x `: / 1` kontrollkonstruksjon.


* REMOVED: Støtte for utdatert Logtalk 2.x `unknown`,` singletons`,
`tmpdir` og` version` compiler flagg.

Hva er nytt i versjon 3.14:

NYTT: Støtte for _parametervariabler_ som gir et alternativ til
`parameter / 2` og` this / 1` innebygde metoder for å få tilgang til enhetsparametere.
Parametervariabler er variabler som brukes i parameteridentifikasjonsidentifikatoren
som starter og slutter med et understreke (`_VariableName_`). Eventuell forekomst
av en parametervariabel i en enhetsklausul er implisitt forenet med
enhet parameter. Dette tillater enhetparametere å bli lagt til, omarrangert eller
fjernet uten å kreve noen endringer i klausulene som refererer til dem.
Parametervariabler støttes bare for parametriske enheter definert i
kildefiler.

Hva er nytt? i versjon 3.13:

NYTT: Kompilatorstøtte for å oppdage samtaler til lokale statiske predikater uten matchende klausuler ).

Hva er nytt i versjon 3.11.1:

* FORBEDRET: Compiler advarsel og feilmeldinger for å gjøre dem mer enhetlige for å lette parsing av redaktører og IDEer og for å unngå å skrive ut potensielt store vilkår.


* FORBEDRET: Kompilatoren krever ikke lenger anrop til databasen, og refleksjon forutser hvor det første argumentet er et modulkvalifisert uttrykk som skal pakkes inn med `{} / 1` kompilatoromkoblingskontrollkonstruksjonen.


* FORBEDRET: Compiler feilkontroll for database og refleksjon predikat samtaler hvor det første argumentet er en modulkvalifisert term.


* FORBEDRET: Minimer antall fillaster som utløses av anrop til `logtalk_make / 0-1` predikatene.


* FIXED: Tilfelle hvor "logtalk_make / 0-1" predicates ikke kunne laste om en fil hvis samling genererte en kompilatorfeil.

Hva er nytt i versjon 3.11:

* ENDRE: Det innebygde predikatet `current_event / 5` for alltid å opprette det første argumentet når det kalles sammen med det ubundne.


* ADDED: Støtte for overstyring av standardskrapelisten ved å definere
biblioteket alias `scratch_directory` i en backlog Prolog initialiseringsfil
(antas å bli lastet før Logtalk lasting). Etter en diskusjon med
Douglas R. Miles om å støtte installasjon av Logtalk i en skrivebeskyttet katalog
og kjører flere Logtalk-forekomster samtidig uten konflikt.


* ADDED: En `kontekst / 1` innebygd kontekstutførelsesmetode for å gi tilgang
til en kontekst for samtaler med predikatekall. Hovedsakelig brukt til å angi en standard
feil kontekst når type-sjekke predikat argumenter.


* ADDED: Støtte for utskrift av meldinger av typen `debug` og` debug (_) `. Disse
meldinger skrives kun ut som standard når «feilsøkingsflagget» er slått på.


* ADDED: Property `inkluderer (File)` til `logtalk :: loaded_file_property / 2`
predikat for å tillate opptak av alle filer inkludert av a
lastet fil (ved hjelp av `inkluderer / 1`-direktiver).

Hva er nytt i versjon 3.10.7:

* RENAMED: `Logtalk_make / 1` mål` missing` for `check`.


* ADDED: Støtte for å utvide `logtalk_make / 1` mål med brukerdefinert
handlinger som bruker det nye multifile predikatet `logtalk_make_target_action / 1`.


* Tilføyet: Compiler lint sjekker for tautologi og falskhet enhet mål.
For øyeblikket sjekket er samtaler til Prolog-forening, sammenligning og type
testing av innebygde predikater. Foreslått av Barry Evans.

Hva er nytt i versjon 3.10.5:

* FESTET: Regresjon introdusert i utgave 3.10.2 når meta-calling kjøring kontekst innebygde metoder.

* FIXED: Kompilatorsvikt som følge av bruk av bærbarhetskontroller til samtaler til Prolog-innebygde predikater og funksjoner som finnes i tilleggsklausuler (vanligvis generert av termisk ekspanderende mekanisme).

Hva er nytt? strong> i versjon 3.10.3:

* FORBEDRET: Forenklet kode generert for multifile predikater.


* FIXED: Regresjon i tidligere utgave i kompilering av multifile
predikatklausuler som ringer til «:: / 1-2` kontrollkonstruksjonene.

Hva er nytt i versjon 3.09.1:

* ADDED: Støtte for `number_of_rules / 1` og` number_of_user_rules / 1` objekt
og kategoriegenskaper.


* ADDED: Støtte for `number_of_rules / 1` predikategenskap.


* ADDED: Påvisning av `meta_predicate / 1`-direktiver som feilaktig angir et mål
meta-argumentet som faktisk er et lukke passert til `call / 2-N` meta-predikat
samtaler. Takk til Arun Majumdar for rapporten.


* TILFØRT: Påvisning av manglende predikatdirektiv i nærvær av
`modus / 2`-direktiver.

Hva er nytt i versjon 3.09.0:

* ENDRE: Innstillingsfiler er nå også sett opp i brukeren hjemmekatalog
når det ikke finnes i oppstartskatalogen eller i Logtalk-brukerkatalogen.
Innstilling av `settings_file`-flagget til` begrense` begrenser nå å søke etter
en innstillingsfil til Logtalk-brukerkatalogen og brukerens hjemmekatalog.
Disse endringene er nyttige når et lag deler en Logtalk-installasjon med begge
'LOGTALKHOME` og `LOGTALKUSER` miljøvariabler som peker på
samme katalog. Takk til Barry Evans for forslaget.

Hva er nytt i versjon 3.08.0:

* ENDRE: Kontroller at i kompilatorfeil og varselsmeldinger fil- og linjeinformasjon er alltid den siste linjen for det rapporterte problemet.

Hva er nytt i versjon 3.07.0:

* ADDED: Et "unicode" skrivebeskyttet flagg for å beskrive Prolog-kompilatoren
støtte for Unicode-standarden.


* ADDED: Støtte for `++` (bakken) og `-` (ubundet) argument instansiering
moduser (deklarert som prefiksoperatører) for bruk med `modus / 2`-predikatet
direktiv.


* ADDED: Støtte for `one_or_error` determinismespesifikasjon i` modus / 2`
predikatdirektiver. Nyttig for dokumentasjon av typekontrollsprogater.


* FORBEDRET: Oppdag forsøk på å ringe eksistensielt kvantifiserte mål utenfor
omfanget av `bagof / 3` og` setof / 3`-samtaler.


* FESTET: Opprett ikke en koblingsklausul for å samle `bruker / 2`-direktiver
kjøretid bruk for innebygde predikater i `bruker` når ingen alias blir definert.


* FIXED: Når propagating en kompileringsfeil for en fil til sine foreldrefiler,
Forsikre deg om at filforfedrene blir lastet opp med å starte med toppføderen
ved å lage mekanismen.


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


* FIXED: Påvisning av manglende predikater i `^^ / 1`-samtaler når du ringer
`logtalk_make / 1` med målet` missing`.

* FIXED: Feil i refleksjon API hvor noen predikat kryssreferanse
informasjon ble ikke registrert. Takk til Edward Schwartz for feilrapporten.

Hva er nytt? i versjon 3.06.2:

Denne utgivelsen fortsetter arbeidet med å forbedre utviklerverktøyene under sponsningen av Kyndi, Inc. Den inneholder en ny versjon av innpakningsverktøyet for å overføre vanlige Prolog-applikasjoner og forbedringer og reparasjoner for lgtunit- og diagramverktøyene. Den inneholder også nye enhetstester, kompilatorer og dokumentasjonsrettinger, og en kompatibilitetsoppdatering for Lean Prolog.

Hva er nytt i versjon 3.04.1:

* FIXED: Compiler bug hvor et predikat som er termisk utvidet ved å kalle `compile_aux_clauses / 1`-metoden, kan feilmeldes som utilgjengelig.


* FIXED: Samtaler til `threaded_notify / 1` innebygde predikat fra inne i` bruker` pseudo-objektet må ikke kreve et bundet argument som per dokumentasjon.


* FIXED: Kaller til `object_property / 2` og category_property / 2` innebygde predikatene med` number_of_clauses / 1` eller `number_of_user_clauses / 1` eiendomargumentene for å være deterministiske.

Hva er ny i versjon 3.03.0:

* ADDED: Støtte for et nytt `logtalk_make / 1` mål,` missing`, for å liste manglende enheter og predikater. Også tilgjengelig ved hjelp av `{?}` Snarveien.

* ADDED: Støtte for et nytt `logtalk_make / 1` mål,` sirkulært`, for å vise sirkulære referanser (vurderer meldingsforsendemål) mellom par og trios av objekter. Også tilgjengelig ved hjelp av `{@}` snarveien.

* FORBEDRET: Legg til en katalog hash til de mellomliggende Prolog-filnavnene for å unngå å unngå kollisjoner av filnavn når du samler alle mellomfiler i samme katalog for innlemming. For øyeblikket krever 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 forhåndskompilert lukning eller en lukning for et mål som kalles i sammenheng med
`bruker` pseudo-objekt. Påfør også strengere feilkontroll til nedleggelse av meta-argumenter.

* FIXED: Pretty-utskrift av parametriske objekter og parametriske kategoriidentifikatorer i feil- og varselmeldinger.

Hva er nytt i versjon 3.02.2:

* FIXED: Feil kontroller feil i lambda uttrykk med `true / 0` som lambda
mål. Takk til Boris Vassilev for feilrapporten.


* FIXED: `Logtalk_make / 1`-predikatet ville lykkes (etter utskrift av en advarsel
melding) når den heter med et ikke-instansiert eller et ugyldig argument i stedet for
sviktende. til
genererte mellomliggende Prolog-filer ved hjelp av et multifilt-predikat til et bedre
embedding erfaring. Spesielt gjør det det lettere å gjøre inkrementell innlemming.


* FORBEDRET: Maskinen forutsetter nå også på nytt opplasting av filer med filer med
kompilering eller lasting feil. Dette sikrer at når en feil fil avbrytes
kompilering av alle filer i en lasterfil, filene oppført etter feilen
filen vil bli kompilert når feilfilen er løst og produsentens predikater er
kalt.

Hva er nytt i versjon 3.02.1:

* FORBEDRET: Kjøretidstabelloppføringene for lastede filer er nå lagt til de genererte mellomliggende Prolog-filene ved hjelp av et multifile-predikat for en bedre innfødingserfaring. Spesielt gjør det det lettere å gjøre inkrementell innlemming.
 * FORBEDRET: Maskinen forutsetter nå også på nytt opplasting av filer med kompilering eller lasting av feil. Dette sikrer at når en feilfil avbryter samlingen av alle filene i en lasterfil, blir filene oppført etter feilfilen kompilert når feilfilen er fikset og produsentens predikater kalles.

Hva er nytt i versjon 3.01.2:

Denne utgivelsen fullfører den statiske bindingsimplementasjonen; legger til støtte for bruk av filnavn som-er med kompilering og lasting av predikater; reparerer kompilatorbugs; har dokumentasjonsoppdateringer; forbedrer feilsøking, testing og dokumentering av verktøy; legger til et nytt sett med enhetstester for å kontrollere Prolog-samsvar med offisielle og de facto standarder; oppdaterer syntaksfarging for alle støttede tekstredigerere og syntaxlightere; og inkluderer kompatibilitetsoppdateringer for ECLiPSe, JIProlog og YAP.

Krav :

Kompatibel Prolog-kompilator.

Lignende programvare

CodeLoft
CodeLoft

4 Jan 15

TestXSLT
TestXSLT

3 Jan 15

Checksum
Checksum

2 Jan 15

HTTP Client Deux
HTTP Client Deux

4 Jan 15

Annen programvare fra utvikleren Logtalk

Logtalk
Logtalk

3 May 15

Kommentarer til Logtalk

Kommentarer ikke funnet
Legg til kommentar
Slå på bilder!