WAMCC is a WAM-based Prolog to C compiler. It conforms more or less to the Edinburgh standard, and includes most of the usual built-in predicates, a top-level, a Prolog debugger and a WAM debugger. WAMCC is designed to be easily extended (see clp(FD), for example). WAMCC’s speed is halfway between SICStus emulated and SICStus native code on a Sparc (1.5 times faster and 1.5 times slower, respectively).
Keywords for this software
References in zbMATH (referenced in 11 articles )
Showing results 1 to 11 of 11.
- Morales, José F.; Carro, Manuel; Hermenegildo, Manuel: Description and optimization of abstract machines in a dialect of Prolog (2016)
- Diaz, Daniel; Abreu, Salvador; Codognet, Philippe: On the implementation of GNU Prolog (2012)
- Wang, Peter; Somogyi, Zoltan: Minimizing the overheads of dependent AND-parallelism (2011)
- Hassan, Abubakar; Mackie, Ian; Sato, Shinya: Compilation of interaction nets (2009)
- Morales, José F.; Carro, Manuel; Hermenegildo, Manuel: Towards description and optimization of abstract machines in an extension of Prolog (2007)
- Henderson, Fergus; Somogyi, Zoltan: Compiling Mercury to high-level C code (2002)
- Diaz, Daniel; Codognet, Philippe: Design and implementation of the GNU Prolog system (2001)
- Hickey, Timothy J.: Metalevel interval arithmetic and verifiable constraint solving (2001)
- Li, Xining: A new term representation method for prolog (1998)
- Codognet, Philippe; Diaz, Daniel: Compiling constraints in clp(FD) (1996)
- Somogyi, Zoltan; Henderson, Fergus; Conway, Thomas: The execution algorithm of mercury, an efficient purely declarative logic programming language (1996)