$\lambda$Prolog: an introduction to the language and its logic. Miller, D. 1998. Incomplete draft.
![$\lambda$Prolog: an introduction to the language and its logic [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex
Paper bibtex @unpublished{miller98lpbook,
author = {Dale Miller},
title = {{$\lambda$Prolog}: an introduction to the language and
its logic},
url = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/bk.pdf},
year = {1998},
note = {Incomplete draft.}
}Downloads: 0
{"_id":"KTLgofRjZmENQA7Cp","bibbaseid":"miller-lambdaprologanintroductiontothelanguageanditslogic-1998","author_short":["Miller, D."],"bibdata":{"bibtype":"unpublished","type":"unpublished","author":[{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"$\\lambda$Prolog: an introduction to the language and its logic","url":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/bk.pdf","year":"1998","note":"Incomplete draft.","bibtex":"@unpublished{miller98lpbook,\n author = {Dale Miller},\n title = {{$\\lambda$Prolog}: an introduction to the language and\n its logic},\n url = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/bk.pdf},\n year = {1998},\n note = {Incomplete draft.}\n}\n\n","author_short":["Miller, D."],"key":"miller98lpbook","id":"miller98lpbook","bibbaseid":"miller-lambdaprologanintroductiontothelanguageanditslogic-1998","role":"author","urls":{"Paper":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/bk.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"unpublished","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["lambda","prolog","introduction","language","logic","miller"],"title":"$\\lambda$Prolog: an introduction to the language and its logic","year":1998}