Constraint programming
Prolog
Inference
Logic programming
Object-oriented programming
Definite clause grammar
B-Prolog
Software engineering
Computing
Computer programming