Hiord: A type-free higher-order logic programming language with predicate abstraction

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

Volumn 3321, Issue , 2004, Pages 93-108

  Cabeza, Daniel ^a   Hermenegildo, Manuel ^a,b   Lipton, James ^a,c  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

^b UNIVERSITY OF NEW MEXICO   (United States)

^c WESLEYAN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; LOGIC PROGRAMMING; ABSTRACTING; COMPUTATION THEORY; DECISION MAKING;

HIGHER-ORDER LOGIC PROGRAMMING; LOGIC PROGRAMMING LANGUAGES; MODEL THEORY; PARTIAL COMBINATORY ALGEBRAS; PREDICATE ABSTRACTIONS;

ABSTRACTING; LOGIC PROGRAMMING;

EID: 35048900999     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30502-6_7     Document Type: Article

References (15)

1. Miller, D., Nadathur, G., Pfenning, F., Scedrov, A.: Uniform proofs as a foundation for logic programming. Annals of Pure and Applied Logic 51 (1991) 125-157
2. Nadathur, G., Miller, D.: Higher-order horn clauses. Journal of the ACM 37 (1990) 777-814
3. Miller, D.: λprolog: an introduction to the language and its logic. Manuscript available at http://www.cse.psu.edu/∼dale (2002)
4. Chen, W., Kifer, M., Warren, D.S.: Hilog: A Foundation for Higher-Order Logic Programming. Journal of Logic Programming (1989)
5. Beeson, M.: Foundations of Constructive Mathematics. Springer-Verlag (1985)
6. Lawvere, F.W.: Diagonal arguments and cartesian-closed categories. In: Category Theory, Homology Theory and their Applications. Springer (1969)
7. Huwig, H., Poigné, A.: A Note on Inconsistencies Caused by Fixpoints in a Cartesian Closed Categories. Theoretical Computer Science 73 (1990) 101-112
8. Miller, D.: A logic programming language with lambda-abstraction, function variables, and simple unification. Journal of Logic and Computation 1 (1991) 497-536
9. Curry, H.B., Feys, R.: Combinatory Logic. North-Holland, Amsterdam (1958)
10. Cabeza, D.: An Extensible, Global Analysis Friendly Logic Programming System. PhD thesis, Dept. of Computer Science, Technical University of Madrid, Spain, Madrid, Spain (2004)
11. Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., López-García, P., (Eds.), G.P.: The Ciao System. Reference Manual (v1.10). The ciao system documentation series-TR, School of Computer Science, Technical University of Madrid (UPM) (2002) System and on-line version of the manual available at http://clip.dia.fi.upm.es/Software/Ciao/.
12. Warren, D.H.: Higher-order extensions to prolog: are they needed? In Hayes, J., Michie, D., Pao, Y.H., eds.: Machine Intelligence 10. Ellis Horwood Ltd., Chicester, England (1982) 441-454
13. Naish, L.: Higher-order logic programming. Technical Report 96/2, Department of Computer Science, University of Melbourne, Melbourne, Australia (1996)
14. McDowell, R., Miller, D.: A logic for reasoning with higher-order abstract syntax. In: Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society (1997) 434
15. Miller, D.: Abstract syntax and logic programming. In: Proceedings of the Second Russian Conference on Logic Programming, Springer Verlag (1991)