Picat is a new logic-based programming language. In many ways, Picat is similar to Prolog, especially B-Prolog, but it has functions in addition to predicates, pattern-matching instead of unification ...

Introduction to Logic Programming, Automata, Computability and Complexity Theory, Human-Computer Interaction, Cognitive Science, Formal Methods (using Z). Other Areas of Competence in Teaching ...

This is a new introduction to logic for university undergraduates in their first and second years. The originality of the approach will also make it of considerable interest to postgraduates and ...