@Book{lloyd:flp,
    author =    "J. W. Lloyd",
    publisher = "Springer Verlag",
    title = "Foundations of Logic Programming, Second Extended
    Edition",
    year =  "1993",
}

@book{gal1991prolog,
    title={Prolog for natural language processing},
    author={Gal, Annie and Lapalme, Guy and Saint-Dizier, Patrick and Somers, Harold},
    year={1991},
    publisher={Wiley Chichester}
}

@Book{books/daglib/0067116,
    title = "Artificial intelligence through Prolog",
    author =    "Neil C. Rowe",
    publisher = "Prentice Hall",
    year =  "1988",
    bibdate =   "2011-05-02",
    ISBN =  "978-0-13-049362-0",
    pages = "I--XX, 1--451",
}

@Article{journals/dss/Keen87,
    title = "Decision support systems: The next decade",
    author =    "Peter G. W. Keen",
    journal =   "Decision Support Systems",
    year =  "1987",
    number =    "3",
    volume =    "3",
    bibdate =   "2015-11-16",
    bibsource = "DBLP,
    http://dblp.uni-trier.de/db/journals/dss/dss3.html#Keen87",
    pages = "253--265",
    URL =   "http://dx.doi.org/10.1016/0167-9236(87)90180-1",
}

@Article{journals/tplp/BalducciniG03,
    title = "Diagnostic reasoning with {A}-Prolog",
    author =    "Marcello Balduccini and Michael Gelfond",
    journal =   "TPLP",
    year =  "2003",
    number =    "4-5",
    volume =    "3",
    bibdate =   "2011-06-10",
    bibsource = "DBLP,
    http://dblp.uni-trier.de/db/journals/tplp/tplp3.html#BalducciniG03",
    pages = "425--461",
    URL =   "http://dx.doi.org/10.1017/S1471068403001807",
}

@Book{hassan-wamtutorial,
    author =    "Hassan Ait-Kaci",
    title = "{W}arren's {A}bstract {M}achine, {A} {T}utorial
    {R}econstruction",
    year =  "1991",
    publisher = "MIT Press",
}

@misc{sukin2012prologbnf,
    author = {Ivan Sukin},
    title = {{Prolog BNF Grammar}},
    howpublished = "\url{https://github.com/simonkrenger/ch.bfh.bti7064.w2013.PrologParser/blob/master/doc/prolog-bnf-grammar.txt}",
    year = {2012},
    note = "[Acessado em 18 de agosto de 2016]"
}

@misc{swiprolog,
    author = {{SWI Prolog}},
    title = {{General purpose arithmetic SWI-Prolog 7.3.25}},
    howpublished = "\url{http://www.swi-prolog.org/pldoc/man?section=arithpreds}",
    note = "[Acessado em 18 de agosto de 2016]"
}