#prolog language #logic programming #rule #syntax #horn clause #unification