Nick17 reviewsFollowFollowWant to readNovember 28, 2024The second part of this book contains a useful introduction to the foundations of logic programming, such as Herbrand semantics.logic-programming