Declarative languages that go beyond plain Prolog by combining logic programming with another idea. Answer set programming is a form of declarative programming aimed at hard search problems and is based on the stable model semantics of logic programming, while Mercury joins functional and logic programming in a language made for real-world use. Mercury was first developed at the University of Melbourne and released in 1995.
All Answer Set and Functional Logic Languages
Filter Results2 entries
Sources
Answer set programming - Wikipedia
Has Member: Answer Set Programming, LeadQuote, Has Member: Answer Set Programming, Lead
Answer set programming (ASP) is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. It is based on the stable model (answer set) semantics of logic programming.
Mercury (programming language) - Wikipedia
Has Member: Mercury, LeadQuote, Has Member: Mercury, Lead
Mercury is a functional logic programming language made for real-world uses.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.