Declarative Programming

on Michael Vorburger's Personal Homepage
Home Personal Projects alpha ware

 

"Programmation Déclarative"

During this course at EPFL [EXTERNAL], we had to realise three projects in what might be called more exotic languages, all of them following the functional programming style. (As opposed to imperative style like.)

The textbook of this course ("Cours de Programmation IV") can be found at http://diwww.epfl.ch/w3lco/pub/ [EXTERNAL]

PROLOG, the logic language

Project: A Trial-And-Error Labyrinth Path Finder application
Realised at home in highly recommendable Amzi! Prolog
Download the french project paper (WinWord 2.0 file, 43.5 KB) or check out only the PROLOG source code (text file)

MIRANDA, the functional language

Project: A public-key cipher & decipher solution
As no Miranda system for the home PC could be found, this project was implemented at the university's UNIX account on Sun machines
Download the french project paper (WinWord 2.0 file, 42 KB, 8 printed pages) or check out only the MIRANDA (text file) source code: crypta.m, keys.m, diophante.m

LISP, the (brackets) language

Project: A script to find the solution of a polynomial function
Realised at home in highly recommendable LISP Allegro for Windows CL 3.0.2 of Franz. Inc. [EXTERNAL]
Download the entire project paper (WinWord 2.0 file, 43 KB, 8 printed pages) or check out only the LISP source code as text file.

All of these three projects probably don't make optimal usage of the respective language. Keep in mind that the course intended to give an overview on "declarative programming" (as opposed to imperative programming) and time was limited.

Go to TOP of page
Page last modified on 03-Mai-98
© Copyright 1998-99 homepage@vorburger.ch [E-MAIL]

Site hosted by
ItaWeb, Peruggia (Italy)

KISSfp FrontPage Add-On
KISSfp FrontPage

  URL: http://www.vorburger.ch/projects/epfl/declarative/index.html