Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Algebraic_Logic_Functional_programming_language> ?p ?o. }
Showing items 1 to 36 of
36
with 100 items per page.
- Algebraic_Logic_Functional_programming_language abstract "ALF can also refer to ALF (theorem prover).Algebraic Logic Functional programming language also known as ALF is a programming language which combines functional and logic programming techniques. Its foundation is Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming.ALF was designed to be genuine integration of both programming paradigms, and thus any functional expression can be used in a goal literal and arbitrary predicates can occur in conditions of equations. ALF's operational semantics is based on the resolution rule to solve literals and narrowing to evaluate functional expressions. In order to reduce the number of possible narrowing steps, a leftmost-innermost basic narrowing strategy is used which, it is claimed, can be efficiently implemented.[citation needed] Terms are simplified by rewriting before a narrowing step is applied and equations are rejected if the two sides have different constructors at the top. Rewriting and rejection are supposed to result in a large reduction of the search tree and produce an operational semantics that is more efficient than Prolog's resolution strategy. Similarly to Prolog, ALF uses a backtracking strategy corresponding to a depth-first search in the derivation tree.The ALF system was designed to be an efficient implementation of the combination of resolution, narrowing, rewriting, and rejection. ALF programs are compiled into instructions of an abstract machine. The abstract machine is based on the Warren Abstract Machine (WAM) with several extensions to implement narrowing and rewriting. In the current ALF implementation programs of this abstract machine are executed by an emulator written in C.In the Carnegie Mellon University Artificial Intelligence Repository, ALF is included as an AI programming language, in particular as a functional/logic programming language Prolog implementation. A user manual describing the language and the use of the system is available. The ALF System runs under Unix and is free.".
- Algebraic_Logic_Functional_programming_language wikiPageExternalLink papers.
- Algebraic_Logic_Functional_programming_language wikiPageExternalLink README.
- Algebraic_Logic_Functional_programming_language wikiPageID "11868019".
- Algebraic_Logic_Functional_programming_language wikiPageRevisionID "598484723".
- Algebraic_Logic_Functional_programming_language hasPhotoCollection Algebraic_Logic_Functional_programming_language.
- Algebraic_Logic_Functional_programming_language name "ALF".
- Algebraic_Logic_Functional_programming_language paradigm Functional_programming.
- Algebraic_Logic_Functional_programming_language paradigm Logic_programming.
- Algebraic_Logic_Functional_programming_language paradigm Programming_paradigm.
- Algebraic_Logic_Functional_programming_language website README.
- Algebraic_Logic_Functional_programming_language subject Category:Free_compilers_and_interpreters.
- Algebraic_Logic_Functional_programming_language subject Category:Functional_logic_programming_languages.
- Algebraic_Logic_Functional_programming_language subject Category:Logic_programming_languages.
- Algebraic_Logic_Functional_programming_language subject Category:Programming_languages_created_in_the_1990s.
- Algebraic_Logic_Functional_programming_language type Abstraction100002137.
- Algebraic_Logic_Functional_programming_language type ArtificialLanguage106894544.
- Algebraic_Logic_Functional_programming_language type Communication100033020.
- Algebraic_Logic_Functional_programming_language type Language106282651.
- Algebraic_Logic_Functional_programming_language type ProgrammingLanguage106898352.
- Algebraic_Logic_Functional_programming_language type ProgrammingLanguagesCreatedInThe1990s.
- Algebraic_Logic_Functional_programming_language type ProgrammingLanguage.
- Algebraic_Logic_Functional_programming_language type Software.
- Algebraic_Logic_Functional_programming_language type Work.
- Algebraic_Logic_Functional_programming_language type CreativeWork.
- Algebraic_Logic_Functional_programming_language type InformationEntity.
- Algebraic_Logic_Functional_programming_language comment "ALF can also refer to ALF (theorem prover).Algebraic Logic Functional programming language also known as ALF is a programming language which combines functional and logic programming techniques.".
- Algebraic_Logic_Functional_programming_language label "Algebraic Logic Functional programming language".
- Algebraic_Logic_Functional_programming_language sameAs m.03r9j8.
- Algebraic_Logic_Functional_programming_language sameAs Q4723982.
- Algebraic_Logic_Functional_programming_language sameAs Q4723982.
- Algebraic_Logic_Functional_programming_language sameAs Algebraic_Logic_Functional_programming_language.
- Algebraic_Logic_Functional_programming_language wasDerivedFrom Algebraic_Logic_Functional_programming_language?oldid=598484723.
- Algebraic_Logic_Functional_programming_language homepage README.
- Algebraic_Logic_Functional_programming_language isPrimaryTopicOf Algebraic_Logic_Functional_programming_language.
- Algebraic_Logic_Functional_programming_language name "ALF".