Logic programming
logic programming environments
visualization of logic program execution
applications of constraint logic programming
constraint-based graphics and visualization
abstract interpretation and partial deduction
parallel logic programming languages