Prolog is a declarative programming language with succesfull applications in several areas like artificial intelligence and scheduling. The guide provides a tutorial to programming in Prolog starting from the beginners level. There are a lot of examples of Prolog source code.
Constraint Programming is a framework for declarative problem solving using constraints; relations among problem variables. The guide provides a tutorial to constraint satisfaction techniques and solving overconstrained problems. Many constraint algorithms are presented here.