logic programming (Q275603)
programming paradigm based on formal logic
Language: