Logic, Programming and Prolog

@book{lpbook1995,
   address = {New York, NY, USA},
   apice = {Lpbook1995},
   author = {Ulf Nilsson and Jan Maluszynski},
   booktitle = {Logic, Programming and Prolog},
   isbn = {0471959960},
   publisher = {John Wiley \& Sons, Inc.},
   title = {Logic, Programming and Prolog},
   url = {https://dl.acm.org/doi/10.5555/546470},
   year = 1995
}