The transparent PROLOG machine (TPM): an execution model and graphical debugger for logic programming

Marc Eisenstadt, Mike Brayshaw

The Journal of Logic Programming · 1988 · 103 citations · 12 references

Concepts

References

12