Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/ΛProlog> ?p ?o }
Showing triples 1 to 66 of
66
with 100 triples per page.
- ΛProlog abstract "λProlog, also written lambda Prolog, is a logic programming language featuring polymorphic typing, modular programming, and higher-order programming. These extensions to Prolog are derived from the higher-order hereditary Harrop formulas used to justify the foundations of λProlog. Higher-order quantification, simply typed λ-terms, and higher-order unification gives λProlog the basic supports needed to capture the λ-tree syntax approach to higher-order abstract syntax, an approach to representing syntax that maps object-level bindings to programming language bindings. Programmers in λProlog need not deal with bound variable names: instead various declarative devices are available to deal with binder scopes and their instantiations. Since 1986, λProlog has received numerous implementations. As of 2013, the language and its implementations are still actively being developed. The Abella theorem prover has been designed to provide an interactive environment for proving theorems about the declarative core of λProlog.".
- ΛProlog wikiPageExternalLink abella-prover.org.
- ΛProlog wikiPageExternalLink teyjus.cs.umn.edu.
- ΛProlog wikiPageExternalLink ~gopalan.
- ΛProlog wikiPageExternalLink ~hannan.
- ΛProlog wikiPageExternalLink plilp-tutorial.ps.gz.
- ΛProlog wikiPageExternalLink lpaz_html.html.
- ΛProlog wikiPageExternalLink ridoux.
- ΛProlog wikiPageExternalLink Dale.Miller.
- ΛProlog wikiPageExternalLink lProlog.
- ΛProlog wikiPageExternalLink ~afelty.
- ΛProlog wikiPageExternalLink lprolog97.ps.
- ΛProlog wikiPageExternalLink 5WpO4HGEh.
- ΛProlog wikiPageExternalLink proghol.
- ΛProlog wikiPageID "4723511".
- ΛProlog wikiPageLength "3585".
- ΛProlog wikiPageOutDegree "18".
- ΛProlog wikiPageRevisionID "663859883".
- ΛProlog wikiPageWikiLink Category:Logic_in_computer_science.
- ΛProlog wikiPageWikiLink Category:Logic_programming_languages.
- ΛProlog wikiPageWikiLink Category:Prolog_programming_language_family.
- ΛProlog wikiPageWikiLink Consistency.
- ΛProlog wikiPageWikiLink Currys_paradox.
- ΛProlog wikiPageWikiLink Harrop_formula.
- ΛProlog wikiPageWikiLink Higher-order_abstract_syntax.
- ΛProlog wikiPageWikiLink Higher-order_logic.
- ΛProlog wikiPageWikiLink Higher-order_programming.
- ΛProlog wikiPageWikiLink Inconsistency.
- ΛProlog wikiPageWikiLink Lambda_calculus.
- ΛProlog wikiPageWikiLink Logic_programming.
- ΛProlog wikiPageWikiLink Logic_programming_language.
- ΛProlog wikiPageWikiLink Modular_programming.
- ΛProlog wikiPageWikiLink Polymorphic_typing.
- ΛProlog wikiPageWikiLink Polymorphism_(computer_science).
- ΛProlog wikiPageWikiLink Prolog.
- ΛProlog wikiPageWikiLink Propositional_calculus.
- ΛProlog wikiPageWikiLink Propositional_logic.
- ΛProlog wikiPageWikiLink Typed_lambda_calculus.
- ΛProlog wikiPageWikiLink Unification_(computer_science).
- ΛProlog wikiPageWikiLink Unification_(computing).
- ΛProlog wikiPageWikiLink Λ-tree_syntax.
- ΛProlog wikiPageWikiLinkText "ΛProlog".
- ΛProlog wikiPageWikiLinkText "λProlog".
- ΛProlog hasPhotoCollection ΛProlog.
- ΛProlog wikiPageUsesTemplate Template:Compu-lang-stub.
- ΛProlog wikiPageUsesTemplate Template:Lowercase.
- ΛProlog wikiPageUsesTemplate Template:Reflist.
- ΛProlog subject Category:Logic_in_computer_science.
- ΛProlog subject Category:Logic_programming_languages.
- ΛProlog subject Category:Prolog_programming_language_family.
- ΛProlog type ProgrammingLanguage.
- ΛProlog type Software.
- ΛProlog type Work.
- ΛProlog type CreativeWork.
- ΛProlog type Thing.
- ΛProlog type Q386724.
- ΛProlog type Q7397.
- ΛProlog type Q9143.
- ΛProlog comment "λProlog, also written lambda Prolog, is a logic programming language featuring polymorphic typing, modular programming, and higher-order programming. These extensions to Prolog are derived from the higher-order hereditary Harrop formulas used to justify the foundations of λProlog.".
- ΛProlog label "ΛProlog".
- ΛProlog sameAs ΛProlog.
- ΛProlog sameAs m.0ck3wr.
- ΛProlog sameAs Q3594646.
- ΛProlog sameAs Q3594646.
- ΛProlog wasDerivedFrom ΛProlog?oldid=663859883.
- ΛProlog isPrimaryTopicOf ΛProlog.