Lambda-Prolog: An Extended Logic Programming Language

Authors:
Amy P. Felty;Elsa L. Gunter;John Hannan;Dale Miller;Gopalan Nadathur;Andre Scedrov
Affiliations:
-;-;-;-;-;-
Venue:
Proceedings of the 9th International Conference on Automated Deduction
Year:
1988

Citing 0
Cited 3

Regular expression types for XML

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Aspect-Oriented Logic Meta Programming

Reflection '99 Proceedings of the Second International Conference on Meta-Level Architectures and Reflection
Proofs you can believe in: proving equivalences between Prolog semantics in Coq

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract