<--- Back to Details
First PageDocument Content
Predicate logic / Logic in computer science / Logic programming / Programming paradigms / ΛProlog / Functional programming / Unification / Prolog / Lambda calculus / Mathematics / Software engineering / Mathematical logic
Date: 2002-09-05 11:33:33
Predicate logic
Logic in computer science
Logic programming
Programming paradigms
ΛProlog
Functional programming
Unification
Prolog
Lambda calculus
Mathematics
Software engineering
Mathematical logic

Add to Reading List

Source URL: www.lix.polytechnique.fr

Download Document from Source Website

File Size: 125,50 KB

Share Document on Facebook

Similar Documents

ELPI: fast, Embeddable, λProlog Interpreter Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi To cite this version: Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi. ELPI: fast,

DocID: 1tGrm - View Document

Lambda calculus / Logic programming / Type theory / Predicate logic / ΛProlog / Unification / Free variables and bound variables / Simply typed lambda calculus / Higher-order abstract syntax / Logic / Mathematics / Theoretical computer science

Abstract syntax for variable binders: An overview Dale Miller Department of Computer Science and Engineering 220 Pond Laboratory, The Pennsylvania State University University Park, PAUSA

DocID: 1fCBW - View Document

Predicate logic / Logic in computer science / Theoretical computer science / Type theory / Formal methods / ΛProlog / Unification / Logic programming / Lambda calculus / Mathematical logic / Logic / Mathematics

The Abella Interactive Theorem Prover (System Description) arXiv:0803.2305v2 [cs.LO] 23 May[removed]Andrew Gacek

DocID: ab6u - View Document

Logic in computer science / Automated theorem proving / Logic programming / Model theory / Predicate logic / ΛProlog / First-order logic / Prolog / Interpretation / Logic / Mathematical logic / Mathematics

AN OVERVIEW OF λPROLOG GOPALAN NADATHUR Department of Computer Science Duke University Durham, NC

DocID: aa0z - View Document

Logic in computer science / Programming paradigms / Automated theorem proving / Type theory / Proof theory / ΛProlog / Logic programming / Prolog / Logic / Software engineering / Theoretical computer science / Mathematical logic

Theory and Practice of Logic Programming http://journals.cambridge.org/TLP Additional services for Theory and Practice of Logic

DocID: 8JI5 - View Document