λ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

Computer Science and Engineering

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

4 Scopus citations

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
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

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/BFb0012882

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

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{914c748417c441f5949a15cb8f396814,

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",

address = "Germany",

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

}

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

λ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

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 -

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

λProlog: An extended logic programming language

Publication series

Other

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Cite this