PHPackages                             trismegiste/prolog - PHPackages - PHPackages  [Skip to content](#main-content)[PHPackages](/)[Directory](/)[Categories](/categories)[Trending](/trending)[Leaderboard](/leaderboard)[Changelog](/changelog)[Analyze](/analyze)[Collections](/collections)[Log in](/login)[Sign up](/register)

1. [Directory](/)
2. /
3. [Utility &amp; Helpers](/categories/utility)
4. /
5. trismegiste/prolog

ActiveSymfony-bundle[Utility &amp; Helpers](/categories/utility)

trismegiste/prolog
==================

Warren Abstract Machine for symfony2

1.5.0(12y ago)25284CC-BY-SA-3.0JavaScriptPHP &gt;=5.4.3

Since Aug 24Pushed 12y ago3 watchersCompare

[ Source](https://github.com/Trismegiste/WamBundle)[ Packagist](https://packagist.org/packages/trismegiste/prolog)[ RSS](/packages/trismegiste-prolog/feed)WikiDiscussions master Synced today

READMEChangelogDependencies (3)Versions (4)Used By (0)

WamBundle
=========

[](#wambundle)

[![Build Status](https://camo.githubusercontent.com/599af9dee4f9a55e598552bdc30ab04dfb5de5f93c7d7db958943339f9963634/68747470733a2f2f7365637572652e7472617669732d63692e6f72672f547269736d6567697374652f57616d42756e646c652e706e673f6272616e63683d6d6173746572)](http://travis-ci.org/Trismegiste/WamBundle)

A Warren's Abstract Machine for Symfony 2.3
-------------------------------------------

[](#a-warrens-abstract-machine-for-symfony-23)

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

Version 1.5

What ?
------

[](#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](https://packagist.org/packages/trismegiste/wam-prolog)

Install
-------

[](#install)

```
$ composer.phar require trismegiste/prolog dev-master
```

CLI with symfony 2.3
--------------------

[](#cli-with-symfony-23)

Open a command line interface and type :

```
php app/console wam:prolog:console
```

Service for symfony 2.3
-----------------------

[](#service-for-symfony-23)

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

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

Licence
-------

[](#licence)

[![cc-by-sa](https://camo.githubusercontent.com/2e47850e627609184fe5412d84bb63ab98727d1fd1ff5b534c73d0f174f32ea5/687474703a2f2f692e6372656174697665636f6d6d6f6e732e6f72672f6c2f62792d73612f332e302f38387833312e706e67)](https://camo.githubusercontent.com/2e47850e627609184fe5412d84bb63ab98727d1fd1ff5b534c73d0f174f32ea5/687474703a2f2f692e6372656174697665636f6d6d6f6e732e6f72672f6c2f62792d73612f332e302f38387833312e706e67)

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, _).

```

Contributors
------------

[](#contributors)

- Lead : [Trismegiste](https://github.com/Trismegiste)

Special thanks
--------------

[](#special-thanks)

- Johann Sebastian Bach
- William Gibson
- Gene Roddenberry

###  Health Score

30

—

LowBetter than 65% of packages

Maintenance20

Infrequent updates — may be unmaintained

Popularity18

Limited adoption so far

Community11

Small or concentrated contributor base

Maturity60

Established project with proven stability

 Bus Factor1

Top contributor holds 100% of commits — single point of failure

How is this calculated?**Maintenance (25%)** — Last commit recency, latest release date, and issue-to-star ratio. Uses a 2-year decay window.

**Popularity (30%)** — Total and monthly downloads, GitHub stars, and forks. Logarithmic scaling prevents top-heavy scores.

**Community (15%)** — Contributors, dependents, forks, watchers, and maintainers. Measures real ecosystem engagement.

**Maturity (30%)** — Project age, version count, PHP version support, and release stability.

###  Release Activity

Cadence

Every ~28 days

Total

3

Last Release

4586d ago

PHP version history (2 changes)1.3.0PHP &gt;=5.3.8

1.4.0PHP &gt;=5.4.3

### Community

Maintainers

![](https://www.gravatar.com/avatar/64cc99ca21a090b2454784670e4ac49db17794d6861078eeceebdbe302365c3f?d=identicon)[trismegiste](/maintainers/trismegiste)

---

Top Contributors

[![Trismegiste](https://avatars.githubusercontent.com/u/1260026?v=4)](https://github.com/Trismegiste "Trismegiste (12 commits)")

---

Tags

inferenceSymfony2engineprolog

### Embed Badge

![Health badge](/badges/trismegiste-prolog/health.svg)

```
[![Health](https://phpackages.com/badges/trismegiste-prolog/health.svg)](https://phpackages.com/packages/trismegiste-prolog)
```

###  Alternatives

[jetbrains/phpstorm-stubs

PHP runtime &amp; extensions header files for PhpStorm

1.4k27.7M68](/packages/jetbrains-phpstorm-stubs)[rubix/ml

A high-level machine learning and deep learning library for the PHP language.

2.2k1.4M28](/packages/rubix-ml)[aws/aws-sdk-php-symfony

A Symfony bundle for v3 of the AWS SDK for PHP

36517.7M22](/packages/aws-aws-sdk-php-symfony)[stfalcon/tinymce-bundle

This Bundle integrates TinyMCE WYSIWYG editor into a Symfony2 project.

2692.9M24](/packages/stfalcon-tinymce-bundle)[cognesy/instructor-php

The complete AI toolkit for PHP: unified LLM API, structured outputs, agents, and coding agent control

310107.9k1](/packages/cognesy-instructor-php)[dmishh/settings-bundle

Database centric Symfony configuration management. Global and per-user settings supported.

115254.9k1](/packages/dmishh-settings-bundle)

PHPackages © 2026

[Directory](/)[Categories](/categories)[Trending](/trending)[Changelog](/changelog)[Analyze](/analyze)
