{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Apr10 - CSE262 Programming Languages Instructor Dr Liang...

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

View Full Document Right Arrow Icon
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
Background image of page 1

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

View Full Document Right Arrow Icon
Instructor: Dr. Liang Cheng CSE262: Programming Languages 04/10/07 Outline Recap Logic programming language & Prolog Data abstraction (Chapter 11) Summary and homework
Background image of page 2
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
Background image of page 3

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

View Full Document Right Arrow Icon
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)
Background image of page 4
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
Background image of page 5

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

View Full Document Right Arrow Icon
Instructor: Dr. Liang Cheng CSE262: Programming Languages 04/10/07 Outline Recap Data abstraction (Chapter 11) Homework and Summary
Background image of page 6
Instructor: Dr. Liang Cheng
Background image of page 7

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

View Full Document Right Arrow Icon
Image of page 8
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}