BackwardChainerPMCB.h

Go to the documentation of this file.

/*
 * BackwardChainerPMCB.h
 *
 * Copyright (C) 2014 Misgana Bayetta
 * Copyright (C) 2015 OpenCog Foundation
 *
 * Author: Misgana Bayetta <misgana.bayetta@gmail.com>  October 2014
 *
 * 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 _OPENCOG_BACKWARDCHAINERPMCB_H_
#define _OPENCOG_BACKWARDCHAINERPMCB_H_

#include <opencog/query/DefaultImplicator.h>

namespace opencog
{

class BackwardChainerPMCB :
    public InitiateSearchCB,
    public DefaultPatternMatchCB // : public virtual PLNImplicator
{
protected:
    AtomSpace* _as;
    VariableListPtr _int_vars;

    std::vector<std::map<Handle, Handle>> var_solns_;
    std::vector<std::map<Handle, Handle>> pred_solns_;

public:
    BackwardChainerPMCB(AtomSpace*, VariableListPtr);
    virtual ~BackwardChainerPMCB();

    virtual void set_pattern(const Variables& vars,
                             const Pattern& pat)
    {
        InitiateSearchCB::set_pattern(vars, pat);
        DefaultPatternMatchCB::set_pattern(vars, pat);
    }

    virtual bool grounding(const std::map<Handle, Handle> &var_soln,
            const std::map<Handle, Handle> &pred_soln);

    std::vector<std::map<Handle, Handle>> get_var_list();
    std::vector<std::map<Handle, Handle>> get_pred_list();
};

} // ~namespace opencog

#endif /* _OPENCOG_BACKWARDCHAINERPMCB_H_ */