:- module('included',[]). en("the target language is: prolog. the templates are: *a thing* is not alike *a thing*. *a thing* is similar to *a thing*. the knowledge base included includes: a thing is not alike an other thing if it is not the case that the thing is similar to the other thing. "). /** ?- show prolog. */