% Empty with aleph loaded :- 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. /** Your example queries go here, e.g. ?- induce(Program). */