Newsgroups: comp.os.linux.announce
From: bhogan@crl.com (Bill Hogan)
Subject: wamcc version 2.2 available
Message-ID: <ann-24900.776147528@cs.cornell.edu>
Date: Sat, 6 Aug 1994 04:32:29 GMT
Approved: linux-announce@tc.cornell.edu (Matt Welsh)

[ Article crossposted from comp.lang.prolog ]
[ Author was diaz    daniel ]
[ Posted on 1 Aug 1994 14:04:18 GMT ]

wamcc 2.2 is a Prolog Compiler which translates Prolog to C via the WAM.
wamcc has a syntax conform to the proposed ISO standard.
wamcc offers the most usual built-in predicates (but not all), a
top-level, a Prolog debugger and a WAM debugger, dynamic and compiled
code, modules, global variables...).
wamcc is designed to be easily extended (e.g. clp(FD) is a constraint
logic language over Finite Domains designed on wamcc). 
>From an efficiency point of view, wamcc is between SICStus "emulated"
and SICStus "native code" on Sparc machines (1.5 times faster than SICStus
emulated, 1.5 times slower than SICStus "native code").


The new version (2.2) of wamcc is available by ftp at ftp.inria.fr
in the directory INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/wamcc
files README, wamcc2.2.tar.Z and prg.tar.Z


wamcc 2.2 reguires the GNU C compiler (gcc) version 2.4.5 or higher

wamcc 2.2 contains new built-ins (findall,...), dynamic code
management (assert, retract, consult,...) and thus allows the user to
run its program in interpreted mode (useful when debugging since this
avoids many compilations). 
the code generated by wamcc 2.2 is now faster to compile by gcc.

wamcc 2,2 is now available for:

   - Sun Sparc under SunOS (4.3.1)
   - dec ultrix,
   - sony mips (R3000) 
   - PC i386/i486 under linux (many thanks to Bill Hogan).

./daniel

-- 
  Bill Hogan
{echo "Subject: get bhogan@crl.com" | mail pgp-public-keys@pgp.mit.edu}

--
Send submissions for comp.os.linux.announce to: linux-announce@tc.cornell.edu
Be sure to include Keywords: and a short description of your software.
