<commit_before>/*
 * Copyright (C) 2002-2007 Novamente LLC
 * Copyright (C) 2008 by Singularity Institute for Artificial Intelligence
 * All Rights Reserved
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU Affero General Public License v3 as
 * published by the Free Software Foundation and including the exceptions
 * at http://opencog.org/wiki/Licenses
 *
 * This program 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 Affero General Public License
 * along with this program; if not, write to:
 * Free Software Foundation, Inc.,
 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
 */

#ifndef RULES_H
#define RULES_H

#include "../iAtomSpaceWrapper.h"
#include "../AtomSpaceWrapper.h"
//#include "../CoreWrapper.h"
#include "../PLNatom.h"
#include "../formulas/Formulas.h"
#include "../utils/NMPrinter.h"

#include <opencog/atomspace/SimpleTruthValue.h>
#include <opencog/atomspace/Atom.h>
#include <opencog/atomspace/ClassServer.h>
#include <opencog/server/CogServer.h>
#include <opencog/atomspace/Link.h>
#include <opencog/atomspace/Node.h>
#include <opencog/atomspace/TLB.h>

#include "Rule.h"
#include "GenericRule.h"
#include "RuleFunctions.h"

/*	PLNRules - Must define, for each rule:
	Handle compute(Handle* h,const int n, Handle CX = NULL) const
	MPs o2iMetaExtra(const atom& outh, bool& overrideInputFilter) const
	atom i2oType(Handle* h, const int n) const

	And inputFilter must be initialized in the constructor!
*/

#include "and/ANDBreakdownRule.h"
#include "and/ANDPartitionRule.h"
#include "and/ANDSubstRule.h"
#include "and/ANDRuleArityFree.h"
#include "and/ANDRule.h"
#include "and/ANDRuleSimple.h"
//#include "and/AND2ORRule.h"

#include "or/ORRule.h"
#include "or/ORPartitionRule.h"
//#include "or/OR2ANDRule.h"

#include "not/NotEvaluatorRule.h"
//#include "not/NotEliminationRule.h"

#include "convert/Link2LinkRule.h"
//#include "convert/Equi2ImpRule.h"
//#include "convert/Eval2MemRule.h"
//#include "convert/Exist2ForAllRule.h"
//#include "convert/Ext2ExtRule.h"
//#include "convert/Inclusion2EvalRule.h"
//#include "convert/Inh2EvalRule.h"
//#include "convert/Inh2SimRule.h"
//#include "convert/Sim2InhRule.h"

#include "implication/ImplicationBreakdownRule.h"
#include "implication/ImplicationRedundantExpansionRule.h"
#include "implication/ImplicationTailExpansionRule.h"
#include "implication/StrictImplicationBreakdownRule.h"

#include "auxiliary/CrispTheoremRule.h"
#include "auxiliary/LookupRule.h"
//#include "auxiliary/PrintRule.h"
#include "auxiliary/ScholemFunctionProductionRule.h"
#include "auxiliary/SubsetEvalRule.h"
#include "auxiliary/IntensionalInheritanceRule.h"

//#include "auxiliary/VarInstantiationRule.h"

//#include "simsubst/SimSubstRule1.h"
//#include "simsubst/SimSubstRule2.h"

#include "unify/BaseCrispUnificationRule.h"
#include "unify/CrispUnificationRule.h"
#include "unify/CustomCrispUnificationRule.h"
#include "unify/CustomCrispUnificationRuleComposer.h"
#include "unify/StrictCrispUnificationRule.h"

#include "inference/DeductionRule.h"
#include "inference/HypothesisRule.h"
#include "inference/InversionRule.h"
#include "inference/QuantifierRule.h"
// #include "inference/RevisionRule.h"

#define USE_ALL_AVAILABLE_INFORMATION_FOR_AND_RULE_COMPUTATION 1
#define MAX_ARITY_FOR_PERMUTATION 5

//const bool RuleResultFreshness = true;

/** 
 * The basic problem of an individual is distinguishing between <i>who he
 * "really" is</i> and the "identity" (mental image and related ingrained
 * patterns of thought) that society had imposed upon him. The most important
 * fact about the distinction is, however, that it is equally fictionary as her
 * individual identity and collective identity. In pragmatics, the relevant
 * point is the utility of the distinction, which in this case is
 * significant, given the goal structure of any individualist.
 */

#endif // RULES_H
<commit_msg>Include SimSubstRule1 in Rules.h<commit_after>/*
 * Copyright (C) 2002-2007 Novamente LLC
 * Copyright (C) 2008 by Singularity Institute for Artificial Intelligence
 * All Rights Reserved
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU Affero General Public License v3 as
 * published by the Free Software Foundation and including the exceptions
 * at http://opencog.org/wiki/Licenses
 *
 * This program 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 Affero General Public License
 * along with this program; if not, write to:
 * Free Software Foundation, Inc.,
 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
 */

#ifndef RULES_H
#define RULES_H

#include "../iAtomSpaceWrapper.h"
#include "../AtomSpaceWrapper.h"
//#include "../CoreWrapper.h"
#include "../PLNatom.h"
#include "../formulas/Formulas.h"
#include "../utils/NMPrinter.h"

#include <opencog/atomspace/SimpleTruthValue.h>
#include <opencog/atomspace/Atom.h>
#include <opencog/atomspace/ClassServer.h>
#include <opencog/server/CogServer.h>
#include <opencog/atomspace/Link.h>
#include <opencog/atomspace/Node.h>
#include <opencog/atomspace/TLB.h>

#include "Rule.h"
#include "GenericRule.h"
#include "RuleFunctions.h"

/*	PLNRules - Must define, for each rule:
	Handle compute(Handle* h,const int n, Handle CX = NULL) const
	MPs o2iMetaExtra(const atom& outh, bool& overrideInputFilter) const
	atom i2oType(Handle* h, const int n) const

	And inputFilter must be initialized in the constructor!
*/

#include "and/ANDBreakdownRule.h"
#include "and/ANDPartitionRule.h"
#include "and/ANDSubstRule.h"
#include "and/ANDRuleArityFree.h"
#include "and/ANDRule.h"
#include "and/ANDRuleSimple.h"
//#include "and/AND2ORRule.h"

#include "or/ORRule.h"
#include "or/ORPartitionRule.h"
//#include "or/OR2ANDRule.h"

#include "not/NotEvaluatorRule.h"
//#include "not/NotEliminationRule.h"

#include "convert/Link2LinkRule.h"
//#include "convert/Equi2ImpRule.h"
//#include "convert/Eval2MemRule.h"
//#include "convert/Exist2ForAllRule.h"
//#include "convert/Ext2ExtRule.h"
//#include "convert/Inclusion2EvalRule.h"
//#include "convert/Inh2EvalRule.h"
//#include "convert/Inh2SimRule.h"
//#include "convert/Sim2InhRule.h"

#include "implication/ImplicationBreakdownRule.h"
#include "implication/ImplicationRedundantExpansionRule.h"
#include "implication/ImplicationTailExpansionRule.h"
#include "implication/StrictImplicationBreakdownRule.h"

#include "auxiliary/CrispTheoremRule.h"
#include "auxiliary/LookupRule.h"
//#include "auxiliary/PrintRule.h"
#include "auxiliary/ScholemFunctionProductionRule.h"
#include "auxiliary/SubsetEvalRule.h"
#include "auxiliary/IntensionalInheritanceRule.h"

//#include "auxiliary/VarInstantiationRule.h"

#include "simsubst/SimSubstRule1.h"
//#include "simsubst/SimSubstRule2.h"

#include "unify/BaseCrispUnificationRule.h"
#include "unify/CrispUnificationRule.h"
#include "unify/CustomCrispUnificationRule.h"
#include "unify/CustomCrispUnificationRuleComposer.h"
#include "unify/StrictCrispUnificationRule.h"

#include "inference/DeductionRule.h"
#include "inference/HypothesisRule.h"
#include "inference/InversionRule.h"
#include "inference/QuantifierRule.h"
// #include "inference/RevisionRule.h"

#define USE_ALL_AVAILABLE_INFORMATION_FOR_AND_RULE_COMPUTATION 1
#define MAX_ARITY_FOR_PERMUTATION 5

//const bool RuleResultFreshness = true;

/** 
 * The basic problem of an individual is distinguishing between <i>who he
 * "really" is</i> and the "identity" (mental image and related ingrained
 * patterns of thought) that society had imposed upon him. The most important
 * fact about the distinction is, however, that it is equally fictionary as her
 * individual identity and collective identity. In pragmatics, the relevant
 * point is the utility of the distinction, which in this case is
 * significant, given the goal structure of any individualist.
 */

#endif // RULES_H

{'fraction_non_alphanumeric': 0.11276570193346944, 'fraction_numerical': 0.009967575357271526, 'mean_word_length': 5.285283018867925, 'pattern_counts': {'":': 0, '<': 21, '<?xml version=': 0, '>': 21, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5306691', 'n_tokens_mistral': 2829, 'n_tokens_neox': 2746, 'n_words': 751}