#prolog syntax #rule definition #logic programming language #implication