Software engineering
Computer programming
Computing
Prolog
Programming languages
Mercury
Logic programming
Tail call
Predicate
Prolog syntax and semantics
B-Prolog