Peter Gabrovsky, Ph.D., ChairKUMEEL ZAKI A ALSMAIL2022-06-012022-06-017259https://drepo.sdl.edu.sa/handle/20.500.14154/59908Prolog and Inductive Reasoning: A Logic Programming LanguageThesis