Tracing Prolog Programs by Source Instrumentation is Efficient Enough

@inproceedings{Ducass1998TracingPP,
  title={Tracing Prolog Programs by Source Instrumentation is Efficient Enough},
  author={Mireille Ducass{\'e} and Jacques Noy{\'e}},
  booktitle={J. Log. Program.},
  year={1998}
}
A detector for detecting radiation from a Q-switched laser. The detector comprises a plurality of silicon photo-diodes (10) which develop an output signal when struck by incident radiation from the Q-switched laser. The output of the photo-diodes is connected to a pulse-width discriminator (12) and a pulse-amplitude discriminator (13). The pulse-width discriminator generates an output signal only if the amplitude of the output pulse from the photo-diodes is less than 300 nanoseconds, signifying… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 12 REFERENCES

Opium: an extendable trace analyser for Prolog

M. Ducass e
  • The Journal of Logic programming, Special issue on Synthesis, Transformation and Analysis of Logic Programs,
  • 1999
VIEW 7 EXCERPTS
HIGHLY INFLUENTIAL

A framework for declarative Prolog debugging

M. Calejo
  • Ph.D. Thesis,
  • 1992
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

An overview of the Knowledge Crunching Machine

J. Noy e
  • 1994
VIEW 1 EXCERPT

High performance Prolog on a RISC

  • New Generation Computing
  • 1991
VIEW 3 EXCERPTS