Constraint Model Elimination and a PTTP-Implementation

@inproceedings{Baumgartner1995ConstraintME,
  title={Constraint Model Elimination and a PTTP-Implementation},
  author={Peter Baumgartner and Frieder Stolzenburg},
  booktitle={TABLEAUX},
  year={1995}
}
In constraint logic programming, proof procedures for Horn clauses are enhanced with an interface to efficient constraint solvers. In this paper we show how to incorporate constraint processing into a general, non-Horn theorem proving calculus. A framework for a new calculus is introduced which combines model elimination with constraint solving, following the lines of Bürckert (1991). A prototype system has been implemented rapidly by only combining a PROLOG technology implementation of model… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…