{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

20-DatalogResolution

# 20-DatalogResolution - Discussion#20 Datalog Resolution in...

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

Discussion #20 1/11 Discussion #20 Resolution in Datalog

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

View Full Document
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).
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

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

View Full Document
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)?
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### Page1 / 11

20-DatalogResolution - Discussion#20 Datalog Resolution in...

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

View Full Document
Ask a homework question - tutors are online