Skip to search formSkip to main contentSkip to account menu

ALF

Known as: Algebraic Logic Functional (programming language), Algebraic logic functional programming language 
Algebraic Logic Functional programming language, also known as ALF, is a programming language which combines functional and logic programming… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
Comparison of multi-paradigm programming languagesFunctional programmingHorn clauseList of programming languages

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
A Novel Learning Algorithm of Back-Propagation Neural Network
Standard neural network based on back-propagation learning algorithm has some faults, such as low learning rate, instability, and… 
2007
2007
The effect of solidification variables on the microstructure of hypereutectic Al-Si alloys
In this work, the effect of phosphorus, as a primary silicon refiner, and of strontium, as a eutectic silicon modifier… 
2006
2006
Ab initio configuration interaction study of the low-lying electronic states of InF
2003
2003
Carbon-nitrogen chain molecules in the laboratory and in interstellar medium
2003
2003
Novel external field source by localization of electrons for improvement of solar cells
2002
2002
A Receiver-Driven Transport Protocol for the Web
In this paper, we present a receiver-oriented, request/response protocol for the Web that is compatible with the dynamics of TCP… 
2000
2000
Ultraviolet cavity ring-down spectroscopy of free radicals in etching plasmas
1997
1997
Crystallization kinetics of fluorophosphate glasses: Part I Effect of composition and heating rate
Crystallization behaviour of glasses from the system AlF3-MF2-Ba(PO3)2 (M=Ca, Mg, Sr, Ba) have been studied using differential… 
1996
1996
Proof Representation in Type Theory: State of the Art
In the frame of intuitionistic logíc and type theory, it is well known that there is an isomorphism between types and… 
1994
1994
A minimal-copy network interface architecture supporting ILP and ALF
The memory bandwidth is one of the major performance bottlenecks Dav91, LA93, DAPP93, DWB + 93, ST93] limiting high-speed… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)