Warren Abstract Machine for Prolog
Original java version by Stefan Büttcher.
PHP port and PhpUnit tests by Florent Genette.
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. Prolog is a logic language which solve problems with an inference engine.
David Warren wrote in "WAM - A tutorial reconstruction" :
The WAM is an abstract machine consisting of a memory architecture and instruction set tailored to Prolog. It can be realised efficiently on a wide range of hardware, and serves as a target for portable Prolog compilers. It has now become accepted as a standard basis for implementing Prolog.
Wikipedia says :
Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is declarative: the program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations.
As you can see, Prolog has nearly no instructions nor loops nor ifs nor gotos. The only thing you have to do is to enounce absolute truths. At that point, Mr Spock says : "Fascinating"
Stop the chatty chat, I recommand wikipedia and the excellent book by Hassan Aït-Kaci in the doc directory.
Like any other DSL, Prolog has a very limited scope but sometimes it can simplify some problem like :
- You need a rule engine
- You want to avoid big boring sequences of if-else-switch to implement some business intelligence
- You need a big bunch of Chain of Responsability which changes every week
- You face a logic problem with non deterministic path
Look at the file basket.pro : it's a set of marketing rules for gift and discount based on the content of a cart. For functional tests, I have also added many programs like list operations (see 'append', it is very fun), family trees, eight queen problem and hanoi problem.
Well, first thing it is a matter of taste. Even with 3 hundreds years, JS Bach is still the best musician in the Multiverse. Second, I am not saying Prolog can solve anything, no. I think there is one language one can use for one specific coding problem. As you know : "one language is not enough". See http://memeagora.blogspot.fr/2006/12/polyglot-programming.html
I also think, like any other language, we, programmers, have some responsability to keep this knowledge alive, and today the best way is to port this WAM to PHP. It's not nostalgia, it's just recollection about these pioneers of computer programming like Von Neumann or Turing.
I went through a lot a trouble thanks the "soft-typing" of PHP and the damned "===" but even if I still prefer Java and strong typing, the managing of strings and arrays in PHP is awsum. There's probably much optimizations to do since the design was not thought for PHP. The good thing is my knowledge of PHP internals has improved.
Yes, this WAM is slow compared to SWI-Prolog. If you need a lot of recursions or a big set of datas, I don't think this piece of software is for you.
As I wrote, this is for specific problems where the imperative programming paradigm is irrelevant. This is not the only paradigm : Think declarative programming ! And if you like this and want to go further, look at the Clojure language.
To run all tests. I have splitted the test suite into two groups to extract lengthy stress tests.
Yes you can ! But don't forget to test new features or changes !
Today, this library has XXX assertions, it took me a lot of time but it was mandatory before refactoring this to make it as a modern PHP library.
There is still a lot to do : a CLI compiler, a better (abstract) filesystem, updating the metalogic clause known as 'retract', adding features like 'bagof' and 'findall' but don't forget the tests and documentations because I'll never merge a PR for new features if it's not tested and commented.
- Fork it with Github !
- Write a new test in the class IFoundABugTest to show the bug
- Make a Pull Request for the faulty test
- I merge the new test
- Someone (you, me, anyone) fix it and make a Pull Request for the fix
- Eventually I'll refactor IFoundABugTest class to move the test in the right place
I like TDD for debugging. Sometimes it's annoying but it is always for the best, specially accross the net. With the help of TravisCI, tracking bugs is a piece of cake.
- Symfony2 bundle for this lib with extra GUI features : WamBundle
- A CLI tool for converting hepburn notation to hiragana for japanese names : Hiragana
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, _).
- Lead : Trismegiste
- Igor Wiedler to bring the idea for decoupling this library from its symfony dependencies