ML Anthology

Goal-Directed Equation Solving

Nachum Dershowitz, G. Sivakumar
AAAI 1988 pp. 166-170
/aaai/1988/dershowitz1988aaai-goal/

Abstract

Solving equations in equational Horn-clause theories is a programming paradigm that combines logic programming and functional programming in a clean manner. Languages like EQLOG, SLOG and RITE, express programs as rewrite rules and use narrowing to solve goals expressed as equations. In this paper, we express equational goal solving by means of a logic program that simulates rewriting of terms. Our goal-directed equation solving procedure is based on directed goals, and combines narrowing with a more top-down approach. We also show how to incorporate a notion of operator derivability to prune some useless paths, while maintaining completeness of the method.

PDF AAAI Semantic Scholar

Cite

Text

Dershowitz and Sivakumar. "Goal-Directed Equation Solving." AAAI Conference on Artificial Intelligence, 1988.

Markdown

[Dershowitz and Sivakumar. "Goal-Directed Equation Solving." AAAI Conference on Artificial Intelligence, 1988.](https://mlanthology.org/aaai/1988/dershowitz1988aaai-goal/)

BibTeX

@inproceedings{dershowitz1988aaai-goal,
  title     = {{Goal-Directed Equation Solving}},
  author    = {Dershowitz, Nachum and Sivakumar, G.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1988},
  pages     = {166-170},
  url       = {https://mlanthology.org/aaai/1988/dershowitz1988aaai-goal/}
}