Department of Computer Science
Course director: t.b.a.
Section A Fall Tue, Thu 10:00-11:30
One of the most important problems in logic programming is the challenge of designing languages suitable for describing the computations which these systems are designed to achieve. The most commonly recognized language is PROLOG.
When a computer is programmed in PROLOG, the actual way the computer carries out the computation is specified partly by the logical declarative semantics of PROLOG, partly by what new facts PROLOG can "infer" from the given ones, and only partly by explicit control information supplied by the programmer. Computer Science concepts in areas such as artificial intelligence, database theory, software engineering knowledge representation, etc., can all be described in logic programs.
Topics covered may include the following.
At the end of this course a student will be familiar with fundamental logic programming concepts and will have some programming expertise in PROLOG.
Prerequisites: general prerequisites, including COSC3401.03, and COSC3101.03 or COSC3111.03.