{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Apr05 - CSE262 Programming Languages Instructor Dr Liang...

Info iconThis preview shows pages 1–7. 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 5, 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/05/07 Outline ± Recap ± Implementing subprogram (Chapter 10) ± ± Summary and homework
Background image of page 2
Instructor: Dr. Liang Cheng CSE262: Programming Languages 04/05/07 Outline ± Recap ± Implementing subprogram (Chapter 10) ± ± Summary and homework
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/05/07 Logic Programming Languages ± Express programs in a form of symbolic logic, predicate calculus ± Use a logic inferencing process ( resolution ) to produce results ± A Prolog example: samlikes ± likes(sam,chips). ± likes(sam,Food) :- italian(Food). ± italian(pizza). ± likes(sam,pizza) ? ± likes(sam,rice) ?
Background image of page 4
Instructor: Dr. Liang Cheng CSE262: Programming Languages 04/05/07 Declarative Languages ± Predicate calculus ± express propositions ± Facts and queries ± express relationships between propositions ± describe how new propositions can be inferred from other propositions
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/05/07 Atomic Propositions ± Functor ± Symbol that names the relationship ± Ordered list of parameters:
Background image of page 6
Image of page 7
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

Page1 / 19

Apr05 - CSE262 Programming Languages Instructor Dr Liang...

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

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