20-DatalogResolution

20-DatalogResolution - Discussion #20 Datalog &...

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

View Full Document Right Arrow Icon
Discussion #20 1/11 Discussion #20 Resolution in Datalog
Background image of page 1

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

View Full DocumentRight Arrow Icon
Discussion #20 2/11 Topics Datalog Prolog Notation Goals success and failure Examples Recursive Rules Termination Infinite recursion We are not trying to do all of Prolog (or even all of Datalog).
Background image of page 2
Discussion #20 3/11 236 Datalog Datalog Prolog Database oriented (i.e. query answering) Does not include some features. (Prolog does have the power of procedural languages, but we won't do general I/O, arithmetic, and negation.) The exact distinction is fuzzy (and doesn't matter). For the project, we'll do exactly the language we've defined, 236 Datalog. Syntactically taken from a real Prolog Is an actual subset of Datalog
Background image of page 3

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

View Full DocumentRight Arrow Icon
Discussion #20 4/11 236 Datalog Prolog (Differences…) Constants Prolog: numbers or alphanumeric beginning with lower case letter 236 Datalog: only strings Variables Prolog: begin with a capital letter (anonymous variables, i.e. _ ) 236 Datalog: begin with a letter (no anonymous variables) Predicates Prolog: begin with lower case letter 236 Datalog: begin with a letter Comments Prolog: % … 236 Datalog: #-comments and #|…|#-comments Queries Prolog: | ?- is the interactive prompt, so | ?- p(Y). is the query 236 Datalog: not interactive, no prompt, just P(Y)?
Background image of page 4
Image of page 5
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 03/02/2012 for the course C S 236 taught by Professor Michaelgoodrich during the Winter '12 term at BYU.

Page1 / 11

20-DatalogResolution - Discussion #20 Datalog &...

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

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