Warren Abstract Machine for symfony2

Installs: 16

Dependents: 0

Suggesters: 0

Stars: 23

Watchers: 3

Forks: 4

Open Issues: 0



1.5.0 2013-10-19 08:59 UTC


Build Status

A Warren's Abstract Machine for Symfony 2.3

Original java version by Stefan Büttcher.
PHP port, PhpUnit tests and bundle for Symfony2.3 by Florent Genette.

Version 1.5

What ?

A Warren Abstract Machine (WAM) is a virtual machine (like a JVM for Java) for Prolog. This library is intended to run on PHP 5.4 and preferably on Symfony 2.3. Prolog is a logic language which solve problems with an inference engine.

This bundle uses my standalone prolog library trismegiste/wam-prolog


$ composer.phar require trismegiste/prolog dev-master

CLI with symfony 2.3

Open a command line interface and type :

php app/console wam:prolog:console

Service for symfony 2.3

You can read PrologGuiController.php. Here is an example :

$machine = $this->get('prolog.wam');
$compiler = new Prolog\PrologCompiler($machine);
$code = $compiler->compile($prog);
$result = $machine->runQuery($query);



This work is provided with the Creative Commons Attribution Share Alike 3.0 Licence. It means you must keep my name and must provide any derivative works with this licence. You can make money with this as long as you follow these rules. In other words :

licence(wam_bundle, cc_by_sa_3).
derivate_work_from(your_work, wam_bundle).
licence(X, L) :- derivate_work_from(X, Y), licence(Y, L).
price(wam_bundle, 0).
price(your_work, _).


Special thanks

  • Johann Sebastian Bach
  • William Gibson
  • Gene Roddenberry