λ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 proceedingConference contribution

3 Citations (Scopus)
Original languageEnglish (US)
Title of host publication9th International Conference on Automated Deduction, Proceedings
EditorsEwing Lusk, Ross Overbeek
PublisherSpringer Verlag
Pages754-755
Number of pages2
ISBN (Print)9783540193432
DOIs
StatePublished - Jan 1 1988
Event9th International Conference on Automated Deduction, CADE 1988 - Argonne, United States
Duration: May 23 1988May 26 1988

Publication series

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

Other

Other9th International Conference on Automated Deduction, CADE 1988
CountryUnited States
CityArgonne
Period5/23/885/26/88

Fingerprint

Logic programming
Logic Programming
Computer programming languages
Programming Languages

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

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 ; Miller, Dale ; Nadathur, Gopalan ; Scedrov, Andre. / λ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",
month = "1",
day = "1",
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",

}

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; Miller, Dale; Nadathur, Gopalan; Scedrov, Andre.

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

TY - GEN

T1 - λProlog

T2 - An extended logic programming language

AU - Felty, Amy

AU - Gunter, Elsa

AU - Hannan, John

AU - Miller, Dale

AU - Nadathur, Gopalan

AU - Scedrov, Andre

PY - 1988/1/1

Y1 - 1988/1/1

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

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)). https://doi.org/10.1007/BFb0012882