:- use_module(library(aleph)). :- aleph. % Settings % Language Bias and Definitions :-begin_bg. % Background knowledge here :- end_bg. :-begin_in_pos. % Positive individuals here :-end_in_pos. :-begin_in_neg. % Negative individuals here :-end_in_neg. :-aleph_read_all.