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 ...

Knowledge representation and reasoning in logic programming constitute a core area of artificial intelligence that formalises how information is symbolically encoded and manipulated. This field ...

This class introduces students to object-oriented programming logic as it is used in professional game development. Using game engine technologies, students walk through basic programming lessons on ...

Temporal logic provides a formal language with which one can express time-dependent behaviours, facilitating rigorous reasoning about the sequential evolution of system states. This branch of ...