Warren Abstract Machine - A embedded Prolog compiler and virtual machine for PHP standalone and Symfony 2.3