Data Portal @ linkeddatafragments.org

Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Gödel_(programming_language)> ?p ?o. }

• Gödel_(programming_language) abstract "Gödel is a general-purpose, declarative programming language based on one of the four main programming paradigms, namely, logic programming. It was developed by Patricia M. Hill and John W. Lloyd. Basic ideas and features of Gödel are mainly taken from Prolog language. It is named in honour of logician Kurt Gödel, although the acronym ‘God's Own DEclarative Language' is sometimes used.Gödel is a strongly typed system based on many-sorted logic with parametric polymorphism. It involves many data types and modules, supports integers and floating-point numbers of an arbitrary precision (including infinite precision). The Gödel language enables to solve constraint problems over finite domains of integers or rationals. It supports processing of finite sets. It offers a flexible computation rule and a pruning operator which generalises the commit of the concurrent logic programming languages. The declarative nature of Gödel programs makes Gödel well suited as a teaching language (because students can concentrate much more on writing down what it is they want to compute without being so concerned about how to compute it). Gödel narrows the gap between theory and practice in logic programming, since it reduces a significant number of non-logical features without useful semantics, and so Gödel language provides a bridge between theory and practice. Gödel's meta-logical facilities provide significant support for meta-programs that do analysis, transformation, compilation, verification, debugging, and so on. Gödel's meta-programs participate in building of some desirable applications: compiler-generators and declarative debuggers to debug Gödel programs (declarative debugging is an attractive debugging technique which only requires that the programmer know the intended interpretation of a program to locate certain bugs and, for example, knowledge of the procedural behaviour of the Gödel system is not needed). Gödel more easily allows a parallel implementation since there are only a couple of non-logical features to complicate matters. Very detailed overview of Gödel programming language, precise descriptions and formal definitions of the syntax and semantics of the language with many examples and background material on logic can be found in the book.".
• Gödel_(programming_language) wikiPageID "936719".
• Gödel_(programming_language) wikiPageRevisionID "597299183".
• Gödel_(programming_language) designer "John Lloyd & Patricia Hill".
• Gödel_(programming_language) developer "John Lloyd & Patricia Hill".
• Gödel_(programming_language) dialects expgoedel.html.
• Gödel_(programming_language) latestReleaseDate "1995-08-11".
• Gödel_(programming_language) latestReleaseVersion "1.5".
• Gödel_(programming_language) license "Non-commercial research/educational use only".
• Gödel_(programming_language) name "Gödel".
• Gödel_(programming_language) operatingSystem Unix-like.
• Gödel_(programming_language) paradigm Declarative_programming.
• Gödel_(programming_language) paradigm Logic_programming.
• Gödel_(programming_language) typing Strong_and_weak_typing.
• Gödel_(programming_language) year "1992".
• Gödel_(programming_language) subject Category:Articles_with_example_code.
• Gödel_(programming_language) subject Category:Logic_programming_languages.
• Gödel_(programming_language) type ProgrammingLanguage.
• Gödel_(programming_language) type Software.
• Gödel_(programming_language) type Work.
• Gödel_(programming_language) type CreativeWork.
• Gödel_(programming_language) type InformationEntity.
• Gödel_(programming_language) comment "Gödel is a general-purpose, declarative programming language based on one of the four main programming paradigms, namely, logic programming. It was developed by Patricia M. Hill and John W. Lloyd. Basic ideas and features of Gödel are mainly taken from Prolog language. It is named in honour of logician Kurt Gödel, although the acronym ‘God's Own DEclarative Language' is sometimes used.Gödel is a strongly typed system based on many-sorted logic with parametric polymorphism.".
• Gödel_(programming_language) label "Gödel (lenguaje de programación)".
• Gödel_(programming_language) label "Gödel (linguagem de programação)".
• Gödel_(programming_language) label "Gödel (programming language)".
• Gödel_(programming_language) sameAs G%C3%B6del_(programming_language).
• Gödel_(programming_language) sameAs Gödel_(programovací_jazyk).
• Gödel_(programming_language) sameAs Gödel_(lenguaje_de_programación).
• Gödel_(programming_language) sameAs Gödel_(linguagem_de_programação).
• Gödel_(programming_language) sameAs Q3294091.
• Gödel_(programming_language) sameAs Q3294091.
• Gödel_(programming_language) wasDerivedFrom Gödel_(programming_language)?oldid=597299183.