'Pass answer' presentation slideshows

Logic Programming (Control and Backtracking)

Logic Programming (Control and Backtracking). Contents. Logic Programming sans Control with Backtracking Streams. Example. (append empty x x) ? (append (cons w x) y (cons w z)) ? (append x y z) (append q r (cons 1 (cons 2 empty))) Unify: (append empty x x)

413 views • 32 slides