An Intermediate Language to Support Prolog's Unification.

Peter Van Roy

1989 · 14 citations · 0 references

Concepts