Web Directory

    Top: Computers: Programming: Languages: Logic-based: Functional_Logic:

 

HAL

  Link Details for: HAL
Link Title: HAL Open in a new window
Link URL: http://www.csse.monash.edu.au/~mbanda/hal/
Link Details: Strongly typed, weakly moded, constraint-logic functional language designed to support construction, extension, and use of new constraint solvers.
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:
HAL