Course on Languages for Intelligent Systems

-> Home page -> Teaching activities flag

Basic information on the course can be found on Study Programmes pages

Academic year 2023/2024

Basic course material

Working environment

go Allegro CL - Free Express Edition
go LispWorks - Personal Edition
go Portacle - an open environment (SBCL Common Lisp, Slime, Emacs)
Online CL: here, here, here, and here (REPL)

History notes (in Slovak)

go Lisp history

Bits of Common Lisp (short presentations on Lisp basics)

go REPL (eval rules)
go Symbols (symbol structure, symbol names, values and functional values, symbol setf-ing)
go Functions (named and anonymous functions)
go Control Flow (sequence, conditional execution, iteration)
go Variables (special and lexical variables, bindings and shadowing of variables, closure)
go Lists (basic stuff - creation, testing, selecting)
go Higher-order functions

Source code demos

go Guess my number (by Conrad Barski: Land of Lisp)
go Simple recursion examples in arithmetic domain
go Simple recursion examples in list domain
go Simple examples of higher-order functions
go Generate and test
go CLOS examples (simple inheritance, multiple inheritance)

Training exercises

go Arithmetic domain (in Slovak)
go List domain (in Slovak)
go Higher-order functions (in Slovak)
go Tree domain (in Slovak)
go Special lists (in Slovak)

AI code demos

go Non-informed state space search I
go Non-informed state space search II
go Informed state space search II
go General Problem Solver (strips)
go Eliza
go Genetic algorithm (numerical optimisation)
go Genetic algorithm II (constrained optimisation)
go Mancala
go Sudoku demo

Additional material to the course

External study material

go Peter Seibel: Practical Common Lisp (probably the best book on Common Lisp - online)
go HyperSpec - online version of the ANSI Common Lisp Standard

Additional reading

go Bottles of bier on the wall (a few versions how to write a short program in Common Lisp, Prolog and Clips)
go Selected books on Common Lisp (some of them are available online)

Community

Workshops/Conferences

go European Lisp Symposium

Discussion forums

go channel: Lisp (Reddit)
go channel: Common Lisp (Reddit)

Copyright © MM
Last updated 9.12.2021