{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

# Apr10 - CSE262 Programming Languages Instructor Dr Liang...

This preview shows pages 1–8. Sign up to view the full content.

CSE262: Programming Languages Instructor: Dr. Liang Cheng Department of Computer Science and Engineering P.C. Rossin College of Engineering & Applied Science Lehigh University April 10, 2007

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
Instructor: Dr. Liang Cheng CSE262: Programming Languages 04/10/07 Outline Recap Logic programming language & Prolog Data abstraction (Chapter 11) Summary and homework
Instructor: Dr. Liang Cheng CSE262: Programming Languages 04/10/07 Logic Programming Languages Express programs in a form of symbolic logic Use a logic inferencing process to produce results SWI-Prolog http://www.swi-prolog.org/ The origins and applications of Prolog

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
Instructor: Dr. Liang Cheng CSE262: Programming Languages 04/10/07 The Basic Elements of Prolog Edinburgh syntax Term Constant : an atom or an integer A string of letters, digits, and underscores beginning with a lowercase letter A string of printable ASCII characters delimited by apostrophes Variable Any string of letters, digits, and underscores beginning with an UPPERCASE letter Structure : functor(parameter list)
Instructor: Dr. Liang Cheng CSE262: Programming Languages 04/10/07 Facts, Rules, and Goals in Prolog Facts by headless Horn clauses sophomore(ben). brother(tyler, cj). Rules by headed Horn clause parent(kathy,tim):- mother(kathy,tim). Can use variables parent(X,Y):- mother(X,Y). Goal statements

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
Instructor: Dr. Liang Cheng CSE262: Programming Languages 04/10/07 Outline Recap Data abstraction (Chapter 11) Homework and Summary
Instructor: Dr. Liang Cheng

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}