Functional and Logic Programming

Course Code: L.EIC024

Acronym: PFL

Objetives:

• Acquire familiarity with the paradigms of Functional Programming and Logic Programming.
• Develop abstract reasoning and problem representation skills in a declarative way.

Learning Outcomes

• Use predefined and algebraic Haskell types to represent values from a specific domain
• Define generic transformations over inductive data structures (eg trees) as polymorphic functions in Haskell
• Decompose programming problems into pure functions in Haskell operating on structured data types
• Prove program correctness in Haskell using definitions with equations and induction
• Representing facts and relationships as programs in Prolog
• Understand the model of running programs in Prolog
• Model search problems as logic programs and queries in Prolog

Projects Developed

Title
GUI	❌ Not Available
Tools used	Haskell	Sicstus Prolog
Brief Description	Data types have a maximum range limit, in Haskell "Int" has a range of [-2^29 .. 2^29-1]. Big Numbers provides infinite range representation, and also providing with basic arithmetic operations (+, -, *, /). (Warning: Arit. operations between large numbers will be slow)	Strategy game developed using Prolog. More details 👉 Here Sit back and enjoy! :)
Code links	👉 BigNumbers	👉 Taktikus

Project Group Members:

• Fabio Huang
• Victor Laureano

More Detail: Sigarra