A declarative programming paradigm that facilitates solving combinatorial problems by encoding them as logical rules and constraints. Logic Programming: A programming approach based on formal ...

Basically, Hamlet and Ophelia are “variables” to which numerical values get assigned. The nouns “Lord” and “King” each have a value of +1, and adjectives such as “sweet” and “beautiful” act as ...

Mathematical programming with vanishing constraints (MPVC) represents a challenging class of optimisation problems where certain constraints become inactive—or “vanish”—depending on ...

Abstract: In this work, we define an extended fuzzy temporal constraint logic (EFTCL) based on possibilistic logic. EFTCL allows us to handle fuzzy temporal constraints between temporal variables and, ...

Abstract: The application and importance of constraint programming (CP) has grown remarkably in the past two decades. Developers widely use constraints for many planning, scheduling, and optimization ...

A collection of classic AI problems implemented in Prolog, showcasing recursive logic, constraint satisfaction, and pathfinding. Includes solutions for the Eight Queens puzzle, a robot grid navigation ...

Praxis is/ strives to become, an online IDE for visual programming in Prolog. It is (currently) a 100% in-browser application, meaning that there is no component ...

Research in the PPLV group spans theory and practice, including logic, semantics, language design, program analysis, systems verification and systems modelling. The goal of the group's research is to ...