Project

wam

0.0
No release in over a year
An implementation of a tutorial reconstruction of Warren's Abstract Machine (WAM).
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
 Dependencies
 Project Readme

Wam

Build Status Ruby Style Guide Ruby Style Guide

Maintainability Test Coverage

A Ruby Implementation of Warren's Abstract Machine, as described by the work entitled "Warren's Abstract Machine: A Tutorial Reconstruction." (WAMATR)

Installation

Add this line to your application's Gemfile using your favorite editor:

gem 'wam'

or add it from the command line with:

$ bundle add wam

And then execute:

$ bundle install

Or install it yourself as:

$ gem install wam

Usage

There are not, as yet, anything other than rspec tests to exercise the code. Once a sufficient number of WAM primitives have been implemented, a console app will be made available.

The point of this project is to implement the various levels of language coverage and machine abstractions outlined in the WAMATR document, as part of understanding the general operation and principles in login programming that WAM embodies.

The code refers to Lx, Mx, and Ix. L0, L1, ... represent the various language implementations, such as basic clauses, terms, etc. M0, M1, ... represent the abstract machine implementations for L0, L1, ..., respectively. The modules I0, I1, ... implement the instruction sets for the various machines M0, M1, ... respectively. There are some breaking changes in the evolution of the languages, instruction sets, and machines that should be accommodated. They are identified where they are known to exist.

This is a work-in-progress, so please don't depend on ANYTHING in this project at this point.

Development

After checking out the repo, run bin/setup to install dependencies. Then, run rake spec to run the tests. You can also run bin/console for an interactive prompt that will allow you to experiment.

To install this gem onto your local machine, run bundle exec rake install. To release a new version, update the version number in version.rb, and then run bundle exec rake release, which will create a git tag for the version, push git commits and the created tag, and push the .gem file to rubygems.org.

Contributing

Bug reports and pull requests are welcome on GitHub at https://github.com/[USERNAME]/wam. This project is intended to be a safe, welcoming space for collaboration, and contributors are expected to adhere to the code of conduct.

License

The gem is available as open source under the terms of the MIT License.

Code of Conduct

Everyone interacting in the Wam project's codebases, issue trackers, chat rooms and mailing lists is expected to follow the code of conduct.