logic programming
programming paradigm based on formal logic
functional logic programming
programming paradigm that combines logic programming with functional programming
answer set programming
programming paradigm focused on difficult search problems
abductive logic programming
programming paradigm based on abductive reasoning
multi-adjoint logic programming
sub-field of logic programming
concurrent logic programming
logic programming paradigm
constraint logic programming
programming paradigm which combines logic programming and constraint satisfaction