Back to Results
First PageMeta Content
Software engineering / Predicate logic / Automated theorem proving / Unification / Higher-order abstract syntax / Prolog / Free variables and bound variables / First-order logic / Function / Mathematics / Mathematical logic / Logic programming


Prolog: A Logic Programming Language with Names, Binding and -Equivalence James Cheney1 , Christian Urban2
Add to Reading List

Document Date: 2004-10-28 08:33:44

Open Document

File Size: 237,55 KB

Share Result on Facebook

/

Facility

Cornell University / University of Cambridge / /

IndustryTerm

continuation applications / unification algorithm / atomic type constructor applications / nominal unification algorithm / classical double negation law / security protocols / execution algorithm / /

Organization

University of Cambridge / Cornell University / eta / /

Position

Walker / programmer / /

ProgrammingLanguage

Prolog / A # / /

Technology

security protocols / Dom / nominal unification algorithm / execution algorithm / unification algorithm / /

SocialTag