**
**  Author: C. R. Ramakrishnan
**  Contact: cram@cs.stonybrook.edu
**
**  Copyright (C) 2012, Research Foundation of SUNY
**
**  This software is part of the Probabilistic Tabled Logic Programming (PTLP) system.
**  This module performs query evaluation over PTLPs and, if necessary, generates
**  a system of monotone polynomial equations whose solution gives the probability of
**  query answers.
**
**  This program 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.
**
**  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.
**
**  $Id: LICENSE,v 1.1 2012/04/20 19:32:26 cram Exp $
**
