Prolog

 
Number of courses selected: 2  

Ref	Y/S	Module	Institution	Contact	Topics/Langs/Tools
dSprog Sem		Programming Languages and Formal Semantics	Aarhus	P.D. Mosses	FP , FS , Prolog , SML
TC	4	Theory of Computation	Porto	M. Florido	DMat , FS , Haskell , LamC , Prolog , TT