Algebraic and logic programming — ReaderExpo