@book {IOPORT.10001954,
    author       = {Kim, Steven H.},
    title        = {Knowledge systems through prolog - an introduction},
    year         = {1991},
    isbn         = {978-0-19-507241-9},
    pages        = {I-XVI, 1-341},
    publisher    = {Oxford University Press},
    identifier   = {10001954},
}