CSC_3F007_EP - Relational Programming (2026-2027)

This course presents the relational programming paradigm, based on constraint logic programming (CLP), from its foundations in first-order logic (FOL) making of programming essentially a modeling task using mathematical variables and relations, towards its various applications in symbolic AI, deductive databases, knowledge representation, problem solving, combinatorial optimisation, resource allocation, scheduling, automated theorem proving, and natural language processing.