Backtrackable State with Linear Affine Implication and Assumption Grammars

@inproceedings{Tarau1996BacktrackableSW,
  title={Backtrackable State with Linear Affine Implication and Assumption Grammars},
  author={Paul Tarau and Ver{\'o}nica Dahl and Andrew Fall},
  booktitle={ASIAN},
  year={1996}
}
A general framework of handling state information for logic programming languages on top of backtrackable assumptions (linear affine and intuitionistic implications ranging over the current continuation) is introduced. Assumption Grammars (AGs), a variant of Extended DCGs handling multiple streams without the need of a preprocessing technique, are specified within our framework. Equivalence with DCGs is shown through a translation from AGs to DCGs and through use of an implementation… CONTINUE READING

Similar Papers

Loading similar papers…