Project Details

Interaktivní podpora výuky funkcionálního a logického programování

Project Period: 1. 1. 2010 – 31. 12. 2010

Project Type: grant

Code: FR2392/2010/G1

Agency: Ministerstvo školství, mládeže a tělovýchovy ČR

Program: Fond rozvoje vysokých škol (FRVŠ)

English title
Interactive support for teaching functional and logic programming
Type
grant
Keywords

reduction, resolution, SLD, Prolog, animation, functional programming, logic programming

Abstract

We have created an interactive tool for demonstrating various types of reductions and resolutions of classical logic and functional programming languages.  We have focused on the reduction in lambda calculus and SLD resolution in Prolog. We have used animated examples to get the students familiar with reduction and resolution techniques in functional and logical programming languages.

Team members
Jirák Ota, Ing. – research leader
Goldefus Filip, Mgr.
Křivka Zbyněk, Ing., Ph.D. (DIFS)
Files
Publications

2010

Back to top