(n)logic programming, logic programingcreating a program that enables the computer to reason logically