Metaterms with Several Attributes

@inproceedings{Brisset1993MetatermsWS,
  title={Metaterms with Several Attributes},
  author={Pascal Brisset},
  year={1993}
}
Metastructures and metaterms have been proposed to extend Prolog systems 6, 5]. They enable special purpose uniications to be speciied. They are useful to implement for example coroutining and new domains of computation. In both cases, information is attached to variables, which then are encoded with metaterms or metastructures. This information must be taken into account during uniication. Problems appear when one wants to use metaterms for diierent issues: how to unify metaterms of diierent… CONTINUE READING

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-3 of 3 extracted citations

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…