[ library(chr) | Reference Manual | Alphabetic Index ]
chr2pl(+File)
Compile File.chr into a .pl file.
- +File
- A file name (with extension chr).
Description
Compile File.chr containing constraint handling rules into a .pl file.
Note that even if the file cannot be opened by UNIX (Error 170), a
nonempty .pl file will be produced.
Fail Conditions
None.
Resatisfiable
No.
Exceptions
- (5) type error
- File is not an atom or string.
- (170) system interface error
- UNIX cannot open the file.
Examples
Success:
[eclipse]: chr(minmax).
minmax.chr compiled traceable 106874 bytes in 3.37 seconds
yes.
See Also
chr / 1