Вы здесь

Главная

метаинтерпретатор

Связанные издания:

A Pure Meta-interpretator for Flat GHC, a Concurrent Constraint Language
Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter
Specialising Meta-level Compositions of Logic Programs