Skip to content

Funcional And Logic Programming Course (Programação Funcional e em Lógica) - FEUP LEIC 3rd Year 1st Semester

Notifications You must be signed in to change notification settings

FabioMiguel2000/LEIC-PFL-2021-22

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 

Repository files navigation

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:

More Detail: Sigarra

About

Funcional And Logic Programming Course (Programação Funcional e em Lógica) - FEUP LEIC 3rd Year 1st Semester

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published