lecture notes10

Thereforetosaythatdoesnotexist

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: 






































unsatisfiable
 MorePredicate
Calculus
Defini*ons
 (op#onal)
   The
scope
of
a
quantifier
is
the
part
of
an
assertion
in
 which
variables
are
bound
by
the
quantifier.
 Example:





































x
has
wide
scope
 Example:





































x
has
narrow
scope
 Logic
Programming
(op*onal)
   Prolog
(from
Programming
in
Logic)
is
a
programming
 language
developed
in
the
1970s
by
researchers
in
 artificial
intelligence
(AI).
   Prolog
programs
include
Prolog
facts
and
Prolog
rules.
   As
an
example
of
a
set
of
Prolog
facts
consider
the
 following:
 instructor(chan, math273). instructor(patel, ee222). instructor(grossman, cs301). enrolled(kevin, math273). enrolled(juna, ee222). enrolled(juana, cs301). enrolled(kiko, math273). enrolled(kiko, cs301).   Here
the
predicates
instructo...
View Full Document

This document was uploaded on 03/06/2014 for the course MATH 320 at CSU Northridge.

Ask a homework question - tutors are online