AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically

Go Generating

AI Traceability

AI parses the academic lineage of this thesis

Generate MRT

The GNU Prolog system and its implementation

SAC (2), pp.728-732, (2000)

Cited: 79|Views31

Full Text

View via Publisher

Other Links

dblp.uni-trier.de dl.acm.org academic.microsoft.com

Bibtex

Keywords

gnu prolog systemjavainstrumentationobject oriented programmingsoftware testing

Abstract

We describe in this paper the GNU-Prolog system, a freesystem consisting of a Prolog compiler and a constraintsolver on finite domains. GNU-Prolog is based on a low-levelmini-assembly platform-independent language that makes itpossible for efficient compilation time, and allows to producesmall stand alone executable files as the result o...More

Code:

Data:

Full Text

PPT (Upload PPT)

Similar

Reference

Cited

Author

Daniel Diaz

[0]

Philippe Codognet

[0]

Your rating :

No Ratings