1999-11-01 04:46:48 +01:00
|
|
|
wamcc is a Prolog Compiler which translates Prolog to C via the WAM
|
|
|
|
|
(Warren Abstract Machine). wamcc has a syntax which conforms to the
|
|
|
|
|
proposed ISO standard.
|
|
|
|
|
|
|
|
|
|
wamcc offers the most usual built-in predicates, a top-level, a Prolog
|
|
|
|
|
debugger and a WAM debugger, dynamic and compiled code, modules,
|
|
|
|
|
global variables, global arrays...). wamcc is designed to be easily
|
|
|
|
|
extended (e.g. clp(FD) is a constraint logic language over Finite
|
|
|
|
|
Domains designed on wamcc).
|
|
|
|
|
|
2001-06-24 22:29:39 +02:00
|
|
|
wamcc tries to be conform to the (future) ISO standard Prolog.
|
1999-11-01 04:46:48 +01:00
|
|
|
The draft ISO standard for Prolog is available by anonymous ftp from
|
|
|
|
|
ai.uga.edu:/pub/prolog.standard/ [128.192.12.9]. An unofficial summary
|
|
|
|
|
of the draft ISO Prolog standard is available from the same location
|
|
|
|
|
as isoprolog.tex or isoprolog.ps.Z.
|
|
|
|
|
|
|
|
|
|
The directory /usr/local/share/doc/wamcc contains a user's manual as
|
|
|
|
|
a LaTeX file. Examples are installed in /usr/local/share/examples/wamcc.
|
