Introduction - If you have any usage issues, please Google them yourself
This is the Arizona State University computer courses Logic for Computer Scientists in the original tutorial. Tutorial focus on the propositional logic and logic programming languages Answer set programming. This is just a very rapid rise in foreign logic programming language.