Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Watch a lightning talk from the 27th International Symposium on Practical Aspects of Declarative Languages (PADL'25) that explores implementing logic programming with static types in Haskell. Learn how researchers Ivan Perez, Ángel Herranz, and Julio Mariño from NASA Ames Research Center and Universidad Politécnica de Madrid combine extensible types, sum types, and a flexible unification algorithm to bring the benefits of static typing to logic programming. Discover how this approach allows developers to structure code using predicates rather than functions while gaining the advantages of type checking for easier testing and debugging. Through progressive examples inspired by educational texts, see how the host language's features create convenient notation for users, demonstrating both the technical feasibility and practicality of this innovative approach to logic programming.
