Open menu
J. W Lloyd
Foundations of Logic Programming