Week 3: A Programming Language based on First-Order Logic – Prolog
Week 3: A Programming Language based on First-Order Logic – Prolog
We consider a programming language based on first-order logic. In this series of lectures we consider one example; the declarative programming language Prolog.