Back to Results
First PageMeta Content
Predicate logic / Logic in computer science / Logic programming / Programming paradigms / ΛProlog / Functional programming / Unification / Prolog / Lambda calculus / Mathematics / Software engineering / Mathematical logic


Document Date: 2002-09-05 11:33:33

Open Document

File Size: 125,50 KB

Share Result on Facebook

/

Facility

Computer Science Duke University / Information Science University of Pennsylvania Philadelphia / /

IndustryTerm

destructors car / unification algorithm / car nil / proof systems / systematic search procedure / /

Organization

Gopalan Nadathur Department of Computer Science Duke University Durham / NSF AI Center / LOGIC PROGRAMMING APPROACH TO MANIPULATING FORMULAS AND PROGRAMS Dale Miller Computer and Information Science University of Pennsylvania Philadelphia / National Science Foundation / United States Army / /

Person

Cl Cl Cl Cl Cl / Clauses Goal / Clause Cl / /

Position

G. interpreter interpreter interpreter interpreter interpreter interpreter / predicate interpreter / interpreter for λProlog has been implemented / Prolog interpreter / second author / interpreter / /

ProgrammingLanguage

C / Prolog / Lisp / /

ProvinceOrState

North Carolina / Pennsylvania / /

Technology

functional programming / artificial intelligence / unification algorithm / /

SocialTag