The page uses Browser Access Keys to help with keyboard navigation. Click to learn moreSkip to Navigation

Different browsers use different keystrokes to activate accesskey shortcuts. Please reference the following list to use access keys on your system.

Alt and the accesskey, for Internet Explorer on Windows
Shift and Alt and the accesskey, for Firefox on Windows
Shift and Esc and the accesskey, for Windows or Mac
Ctrl and the accesskey, for the following browsers on a Mac: Internet Explorer 5.2, Safari 1.2, Firefox, Mozilla, Netscape 6+.

We use the following access keys on our gateway

n Skip to Navigation
k Accesskeys description
h Help
    Bridgewater State University
   
 
  Feb 20, 2018
 
 
    
Undergraduate/Graduate Catalog 2014-2015 [ARCHIVED CATALOG] See drop-down menu above to access other catalogs.

COMP 565 - Logic Programming

(3 credits)
Prerequisite: Admission to the MS program in Computer Science or consent of instructor
This course is an introduction to first order predicate logic as a problem-solving tool. Logic programming languages such as PROLOG are studied along with applications of logic programming to mathematics fields, natural language processing and law.