Index of /~leavens/ComS342-Kamin/lectures/prolog

• Parent Directory
• Outline-files.txt
• analysis.txt
• blocks-world.quiz
• blocks-world.txt
• examples.pl
• impure-prolog.txt
• introduction.txt
• peano.kplg
• pure-prolog.txt
• pure.slides
• quiz.kplg
• quiz.txt
• resolution.txt
• traces.txt
• tracing.kplg
• unif.slides
• unification.txt