UBC-CPSC 312: Functional and Logic Programming Collection home page
Principles of symbolic computing, using languages based upon first-order logic and the lambda calculus. Algorithms for implementing such languages. Applications to artificial intelligence and knowledge representation.Please review the license information provided for each item as usage rights vary.
Browse