Andorra
Implementation
WAM
Extension of
NUA-Prolog (4097)
Extension to the WAM for Parallel Andorra