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

Info iconThis preview shows pages 1–6. 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 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 DocumentRight Arrow Icon
Instructor: Dr. Liang Cheng CSE262: Programming Languages 04/10/07 Outline ± Recap ± ± 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 DocumentRight 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
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 DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 23

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

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online