λProlog: An extended logic programming language

Amy Felty; Elsa Gunter; John Hannan; Dale Miller; Gopalan Nadathur; Andre Scedrov

doi:10.1007/BFb0012882

λProlog: An extended logic programming language

Amy Felty, Elsa Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	9th International Conference on Automated Deduction, Proceedings
Editors	Ewing Lusk, Ross Overbeek
Publisher	Springer Verlag
Pages	754-755
Number of pages	2
ISBN (Print)	9783540193432
DOIs	https://doi.org/10.1007/BFb0012882
State	Published - 1988
Externally published	Yes
Event	9th International Conference on Automated Deduction, CADE 1988 - Argonne, United States Duration: May 23 1988 → May 26 1988

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	310 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	9th International Conference on Automated Deduction, CADE 1988
Country/Territory	United States
City	Argonne
Period	5/23/88 → 5/26/88

Access

10.1007/BFb0012882

OpenUrl availability

Full text

Cite this

Felty, A., Gunter, E., Hannan, J., Miller, D., Nadathur, G., & Scedrov, A. (1988). λProlog: An extended logic programming language. In E. Lusk, & R. Overbeek (Eds.), 9th International Conference on Automated Deduction, Proceedings (pp. 754-755). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 310 LNCS). Springer Verlag. https://doi.org/10.1007/BFb0012882

λProlog: An extended logic programming language. / Felty, Amy; Gunter, Elsa; Hannan, John et al.
9th International Conference on Automated Deduction, Proceedings. ed. / Ewing Lusk; Ross Overbeek. Springer Verlag, 1988. p. 754-755 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 310 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Felty, A, Gunter, E, Hannan, J, Miller, D, Nadathur, G & Scedrov, A 1988, λProlog: An extended logic programming language. in E Lusk & R Overbeek (eds), 9th International Conference on Automated Deduction, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 310 LNCS, Springer Verlag, pp. 754-755, 9th International Conference on Automated Deduction, CADE 1988, Argonne, United States, 5/23/88. https://doi.org/10.1007/BFb0012882

Felty A, Gunter E, Hannan J, Miller D, Nadathur G, Scedrov A. λProlog: An extended logic programming language. In Lusk E, Overbeek R, editors, 9th International Conference on Automated Deduction, Proceedings. Springer Verlag. 1988. p. 754-755. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/BFb0012882

Felty, Amy ; Gunter, Elsa ; Hannan, John et al. / λProlog : An extended logic programming language. 9th International Conference on Automated Deduction, Proceedings. editor / Ewing Lusk ; Ross Overbeek. Springer Verlag, 1988. pp. 754-755 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{4a7c6d7609ae45d6884d2883c5236318,

title = "λProlog: An extended logic programming language",

author = "Amy Felty and Elsa Gunter and John Hannan and Dale Miller and Gopalan Nadathur and Andre Scedrov",

year = "1988",

doi = "10.1007/BFb0012882",

language = "English (US)",

isbn = "9783540193432",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "754--755",

editor = "Ewing Lusk and Ross Overbeek",

booktitle = "9th International Conference on Automated Deduction, Proceedings",

note = "9th International Conference on Automated Deduction, CADE 1988 ; Conference date: 23-05-1988 Through 26-05-1988",

}

TY - GEN

T1 - λProlog

T2 - 9th International Conference on Automated Deduction, CADE 1988

AU - Felty, Amy

AU - Gunter, Elsa

AU - Hannan, John

AU - Miller, Dale

AU - Nadathur, Gopalan

AU - Scedrov, Andre

PY - 1988

Y1 - 1988

UR - http://www.scopus.com/inward/record.url?scp=33644650851&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33644650851&partnerID=8YFLogxK

U2 - 10.1007/BFb0012882

DO - 10.1007/BFb0012882

M3 - Conference contribution

AN - SCOPUS:33644650851

SN - 9783540193432

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 754

EP - 755

BT - 9th International Conference on Automated Deduction, Proceedings

A2 - Lusk, Ewing

A2 - Overbeek, Ross

PB - Springer Verlag

Y2 - 23 May 1988 through 26 May 1988

ER -

λProlog: An extended logic programming language

Publication series

Other

Access

OpenUrl availability

Other files and links

Cite this