ΛProlog - ΛProlog
| Paradigma | Logické programování |
|---|---|
| Navrhl | Dale Miller a Gopalan Nadathur |
| Poprvé se objevil | 1987[1] |
| Psací disciplína | silně napsaný |
| Licence | GNU General Public License v3 |
| webová stránka | www |
| Hlavní, důležitý implementace | |
| Teyjus, ELPI | |
| Ovlivněno | |
| Prolog | |
| Ovlivněno | |
| Makam | |
λProlog, také písemné lambda Prolog, je logický programovací jazyk představovat polymorfní psaní, modulární programování, a programování vyššího řádu. Tato rozšíření do Prolog jsou odvozeny z dědičného vyššího řádu Harropovy vzorce slouží k ospravedlnění základů λProlog. Kvantifikace vyššího řádu, jednoduše zadali λ-termíny, a sjednocení vyššího řádu dává λProlog základní podpory potřebné k zachycení přístupu k syntaxi λ-stromu vyšší syntaxe abstraktního řádu, přístup k reprezentaci syntaxe, která mapuje vazby na úrovni objektu na vazby programovacího jazyka. Programátoři v λPrologu se nemusí zabývat vázanými názvy proměnných: místo toho jsou k dispozici různá deklarativní zařízení pro řešení rozsahů pořadačů a jejich instancí.
Dějiny
Od roku 1986 získal λProlog řadu implementací. Od roku 2013 se jazyk a jeho implementace stále aktivně vyvíjejí.
Prověřovač teorémů Abella byl navržen tak, aby poskytoval interaktivní prostředí pro dokazování vět o deklarativním jádru λPrologu.
Viz také
- Curryho paradox # lambda kalkul - o nekonzistence problémy způsobené kombinací (výroková) logika a bez typu lambda kalkul
Reference
- ^ „Časté dotazy: Jaké implementace lambda Prologu jsou k dispozici?“. www.lix.polytechnique.fr. Citováno 2019-12-16.
Návody a texty
- Dale Miller a Gopalan Nadathur napsali knihu Programování s logikou vyššího řádu, kterou vydala Cambridge University Press v červnu 2012.
- Amy Felty napsal v roce 1997 tutoriál o lambda Prolog a jeho aplikace k prokázání věty ([Archivováno WebCite https://www.webcitation.org/5WpO4HGEh?url=http://www.site.uottawa.ca/~afelty/dist/lprolog97.ps ]).
- John Hannan napsal návod na téma Analýza programu v lambda Prologu pro konferenci PLILP 1998.
- Olivier Ridoux napsal Lambda-Prolog de A à Z ... ou presque (163 stran, francouzsky). Je k dispozici jako PostScript, PDF, a html.
externí odkazy
Implementace
- Překladač Teyjus λProlog je v současné době nejstarší implementace, která se stále udržuje.[1] Tento projekt kompilátoru je řízen Gopalan Nadathur a různé jeho kolegy a studenty.
- ELPI: integrovatelný tlumočník λProlog byl vyvinut společností Enrico Tassi a Claudio Sacerdoti Coen. Je implementován v OCaml a je k dispozici online. Systém je popsán v a papír který se objevil LPAR 2015.
- The Abella prover lze použít k prokázání vět o programech a specifikacích λProlog.
 | Tento programovací jazyk související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |
- ^ Nadathur, Gopalan; Dustin Mitchell (1999). Popis systému: Teyjus - kompilátor a abstraktní strojová implementace lambda Prolog. Konference o automatizovaném odpočtu. LNAI. 1632. 287–291. doi:10.1007/3-540-48660-7_25. ISBN 978-3-540-66222-8.