introduction to first order logic (FOL) in artificial intelligence
introduction to artificial intelligence (AI) tutorial