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 - Thursday: 11:35 AM - 1 PM (
JD 2221
)
Also available by appointment
Resources
Syllabus
Assignments
Code Developed in Class
Course Materials
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
Introduction to Prolog
Intoductory Prolog Handout
Worksheet Covering Introductory Prolog
Worksheet Covering Introductory Prolog (Answers)
Unification and Recursion
Unification in Prolog
In-Class Worksheet on Unification
Repetition and Structures in Prolog
In-Class Worksheet on Recursive Procedures
Lists in Prolog
In-Class Worksheet Involving Unification With Lists
In-Class Worksheet on Recursion With(out) Accumulators