Warren Abstract Machine

abstract machine for the execution of Prolog

en-GB/ˈwɒɹən əbˈstɹækt məˈʃiːn/
en-US/ˈwɑɹən ˈæbˌstɹæktn məˈʃin/

زمرے:

abstract machine