Home›Books›Essentials of logic programmingEssentials of logic programmingby Christopher John HoggerThe theoretical and practical fundamentals of logic programming.Logic programmingProloglogic