Property 
Value 
dbo:abstract

 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 leftmostinnermost basic narrowing strategy is used which, it is claimed, can be efficiently implemented. 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 depthfirst 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. (en)

dbo:wikiPageEditLink
 
dbo:wikiPageExternalLink
 
dbo:wikiPageExtracted

 20191010 06:02:07Z (xsd:date)

dbo:wikiPageHistoryLink
 
dbo:wikiPageID
 
dbo:wikiPageLength
 
dbo:wikiPageModified

 20191010 06:01:50Z (xsd:date)

dbo:wikiPageOutDegree
 
dbo:wikiPageRevisionID
 
dbo:wikiPageRevisionLink
 
dbp:wikiPageUsesTemplate
 
dct:subject
 
rdf:type
 
rdfs:comment

 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. (en)

rdfs:label

 Algebraic Logic Functional programming language (en)

owl:sameAs
 
foaf:homepage
 
foaf:isPrimaryTopicOf
 
foaf:name
 
foaf:page
 
is dbo:wikiPageDisambiguates
of  
is dbo:wikiPageRedirects
of  
is foaf:primaryTopic
of  