logic programming: creating a program that enables the computer to reason logically
creation: the human act of creating
batis: small genus of plants constituting the family Batidaceae: low straggling dioecious shrubs