COMP 410: Logic Programming

Getting Help

Canvas, for all non-personal communication
Kyle's email address: kyle dot dewey at csun dot edu
Kyle's office hours:
- Monday/Wednesday: 1:00 PM - 2:15 PM (JD 4419)
- Also available by appointment

Topic	Materials
Introduction	COMP 410 Introduction
Boolean Satisfiability (SAT) and Semantic Tableau	Boolean Satisfiability and Semantic Tableau Worksheet Covering SAT and Semantic Tableau Abstract Syntax Trees (ASTs) and Evaluation Worksheet Covering ASTs and Evaluation Worksheet Covering ASTs and Evaluation (Answers) Example Python Code Implementing an Arithmetic Evaluator of an AST