Home
Abstract Machines for Logic Programs
3 points by guillaume