GitHub repository: karthikVenkataramana/PrologVM
Description: C++ based Prolog Virtual machine.