logic programming

• .QL
• ABSYS
• Aldor
• Algebraic Logic Functional programming language
• Alma-0
• Ciao
• CLACL
• Clojure
• Curry
• Datalog
• Escher
• Flix
• Fril
• Go!
• Gödel
• Jess
• KRL
• Logtalk
• Maude system
• Mercury
• Planner
• Prolog
• R++
• ROOP
• Visual Prolog
• XSB
• λProlog