%% Copyright (C) 2017 Dennis J. Darland

%% This file is part of darland's philosophy.

%% darland's philosophy is free software: you can redistribute it and/or modify
%% it under the terms of the GNU General Public License as published by
%% the Free Software Foundation, either version 3 of the License, or
%% (at your option) any later version.

%% darland's philosophy is distributed in the hope that it will be useful, 
%% but WITHOUT ANY WARRANTY; without even the implied warranty of
%% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
%% GNU General Public License for more details.

%% You should have received a copy of the GNU General Public License
%% along with darland's philosophy. If not, see <http://www.gnu.org/licenses/>.
%% This file only checks rules (relating to intensionality and extensionality). 

%% This needs rethinking
%% Needs to account for internal & external symbols
%% Need to study PM to *56 more especially pp. 72-79. 

%% In WildLife queries end in "?" - in Prolog in "?"
%%
%% In Wilidife extra ";" are echoed but otherwise ignored - in Prolog they 
%% cause errors.
%%

%%PROLOG =protocol('log/darland_2017_0009.log').
%%PROLOG =['facts/common_facts_2017_0001'].
%%PROLOG =['facts/common_facts_2017_0002'].
%%PROLOG =['rules/common_2017_0001'].
%%PROLOG =['rules/prolog_2017_0001'].

%%LIFE =load("FACTS/common_facts_2017_0001.lf")?
%%LIFE =load("FACTS/common_facts_2017_0002.lf")?
%%LIFE =load("RULES/common_2017_0001.lf")?
%%LIFE =load("RULES/life_2017_0001.lf")?
%%LIFE =trace_input(true)?

write_time(Ignore)?

remark(9001, Remark)?

not_formally_equivalent(0, 1, human, featherless_biped)?

formally_equivalent(0, 1, human, featherless_biped)?

not_formally_equivalent( 0, 1, human, human)?

formally_equivalent( 0, 1, human, human)?

internal_synonym(Subject, Time, Type, Term_1, Term_2)?
;
%%LIFE =;

write_stats(Ignore)?

%%PROLOG = noprotocol.