Nondeterministic Specifications as a General Framework
At this point, the presented theory has reached a stage, where it is interesting to investigate the relationship to classical concepts like the theory of term rewriting and equational logic as well as logic programming. It will turn out that equational logic and (confluent) term rewriting can be seen as special cases of the new theory. It also will be shown that a special variant of the theory has very close connections to algebraic and logic programming.
KeywordsGeneral Framework Logic Program Logic Programming Function Symbol Predicate Symbol
Unable to display preview. Download preview PDF.