/*
:- use_module(library(pce)).
:- use_module(library(gui_tracer)).
:- use_module(library(pce_debug)).
:- use_module(library(pce_emacs)).
:- use_module(library(trace/trace)).
:- use_module(library(emacs/window)).
:- use_module(library(emacs/emacs)).
:- use_module(library(swi_ide)).
:- emacs_toplevel.
% :- guitracer,leash(-all),visible(-all),trace,member(_,[_]),!,notrace,leash(+all),visible(+all).
*/

:- use_module(library(logicmoo_user)).

:- expects_dialect(pfc).

:- ensure_mpred_file_loaded('logicmoo/pfc/autoexec.pfc').
% :- ensure_mpred_file_loaded('logicmoo/pfc/system_genls.pfc').

% :- mpred_autoload(genls/2).

tCol(tFly).
tCol(tCanary).
tCol(tPenguin).
tCol(tBird).

genls(tCanary,tBird).
genls(tPenguin,tBird).


% chilly is a penguin.
tPenguin(iChilly).

:-mpred_test((tBird(iChilly))).


% tweety is a canary.
tCanary(iTweety).

:-mpred_test((tBird(iTweety))).


% birds fly by default.
(mdefault(( tBird(X) ==> tFly(X)))).

:-mpred_test((isa(I,tFly),I=iChilly)).

:-mpred_test((tFly(iTweety))).
:-mpred_test((tFly(iChilly))).


% penguins do  ~ tFly.
tPenguin(X) ==>  ~(tFly(X)).

:-mpred_test((\+ tFly(iChilly))).
:-mpred_test(( ~(tFly(iChilly)))).