Web Directory
 

ALF

  Link Details for: ALF
Link Title: ALF Open in a new window
Link URL: http://www.informatik.uni-kiel.de/~mh/systems/ALF.html
Link Details: Foundation: Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming. A full integration of both programming models, so any functional expression can be use
Category: Top : Computers : Programming : Languages : Logic-based : Functional_Logic
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
ALF