proinsias 0.1.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: 74a472d29dbd34791b03fe2ca6c089cc834d3fa9f273bafcbf1292aa0bbc9835
+  data.tar.gz: 6830f5f82905af79f24af413ecd719e37a5c3934b87b7b6ef8df582f7a67cf81
+SHA512:
+  metadata.gz: c3e66a79d8c0d1801ad4abc5885cf58a0c905fdef367e22d9c14cf694a09229d8a9730889bc9ed761978f0255e992bd3e0f8dac62f9eeb57c61b8873b85e39f2
+  data.tar.gz: 9d9290f85f4b7093da9e85960d9ab4d66656af6a4748431b5c4fd734c6f932979676dcc70fa671bcbe50ebabd418a37497f206d300d92134523e289522b81cdf

data/.gitignore

@@ -0,0 +1,11 @@
+/.bundle/
+/.yardoc
+/_yardoc/
+/coverage/
+/doc/
+/pkg/
+/spec/reports/
+/tmp/
+
+# rspec failure tracking
+.rspec_status

data/.rspec

@@ -0,0 +1,3 @@
+--format documentation
+--color
+--require spec_helper

data/.travis.yml

@@ -0,0 +1,5 @@
+sudo: false
+language: ruby
+rvm:
+  - 2.5.1
+before_install: gem install bundler -v 1.16.2

data/Gemfile

@@ -0,0 +1,6 @@
+source "https://rubygems.org"
+
+git_source(:github) {|repo_name| "https://github.com/#{repo_name}" }
+
+# Specify your gem's dependencies in proinsias.gemspec
+gemspec

data/Gemfile.lock

@@ -0,0 +1,37 @@
+PATH
+  remote: .
+  specs:
+    proinsias (0.1.0)
+      moory (~> 1.1.3)
+
+GEM
+  remote: https://rubygems.org/
+  specs:
+    diff-lcs (1.3)
+    moory (1.1.3)
+    rake (10.5.0)
+    rspec (3.7.0)
+      rspec-core (~> 3.7.0)
+      rspec-expectations (~> 3.7.0)
+      rspec-mocks (~> 3.7.0)
+    rspec-core (3.7.1)
+      rspec-support (~> 3.7.0)
+    rspec-expectations (3.7.0)
+      diff-lcs (>= 1.2.0, < 2.0)
+      rspec-support (~> 3.7.0)
+    rspec-mocks (3.7.0)
+      diff-lcs (>= 1.2.0, < 2.0)
+      rspec-support (~> 3.7.0)
+    rspec-support (3.7.1)
+
+PLATFORMS
+  ruby
+
+DEPENDENCIES
+  bundler (~> 1.16)
+  proinsias!
+  rake (~> 10.0)
+  rspec (~> 3.0)
+
+BUNDLED WITH
+   1.16.2

data/LICENSE.txt

@@ -0,0 +1,21 @@
+The MIT License (MIT)
+
+Copyright (c) 2018 Adam W. Grant
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.

data/README.md

@@ -0,0 +1,37 @@
+# Proinsias
+
+Welcome to the Proinsias gem!
+
+## Installation
+
+Add this line to your application's Gemfile:
+
+```ruby
+gem 'proinsias'
+```
+
+And then execute:
+
+    $ bundle
+
+Or install it yourself as:
+
+    $ gem install proinsias
+
+## Usage
+
+TODO: Write usage instructions here
+
+## 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 tags, and push the `.gem` file to [rubygems.org](https://rubygems.org).
+
+## Contributing
+
+Bug reports and pull requests are welcome on GitHub at https://github.com/[USERNAME]/proinsias.
+
+## License
+
+The gem is available as open source under the terms of the [MIT License](https://opensource.org/licenses/MIT).

data/Rakefile

@@ -0,0 +1,6 @@
+require "bundler/gem_tasks"
+require "rspec/core/rake_task"
+
+RSpec::Core::RakeTask.new(:spec)
+
+task :default => :spec

data/bin/console

@@ -0,0 +1,14 @@
+#!/usr/bin/env ruby
+
+require "bundler/setup"
+require "proinsias"
+
+# You can add fixtures and/or initialization code here to make experimenting
+# with your gem easier. You can also use a different console, if you like.
+
+# (If you use this, don't forget to add pry to your Gemfile!)
+# require "pry"
+# Pry.start
+
+require "irb"
+IRB.start(__FILE__)

data/bin/setup

@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+set -euo pipefail
+IFS=$'\n\t'
+set -vx
+
+bundle install
+
+# Do any other automated setup that you need to do here

data/lib/proinsias/assembler.rb

@@ -0,0 +1,28 @@
+module Proinsias
+  class Assembler
+    attr_reader :receiver, :opening
+
+    def feed(incoming)
+      receiver ?
+        connect(incoming) :
+        @receiver = incoming
+
+      @opening = incoming.expectant? ? incoming : nil
+    end
+
+    def connect(incoming)
+      if opening
+        opening.receive(incoming)
+        return @receiver
+      end
+      if incoming > receiver
+        incoming.receive(receiver)
+        return @receiver = incoming
+      end
+      if incoming < receiver
+        receiver.absorb(incoming)
+        return @receiver
+      end
+    end
+  end
+end

data/lib/proinsias/configurations.rb

@@ -0,0 +1,45 @@
+module Proinsias
+  module Configurations
+    PIP = # PIP: Prefix Infix Parenthetical
+    {
+      basis: 'basis',
+      specs: {
+        'basis' => {
+          rules: """
+          ^ : constant : $
+          ^ : variable : $
+          ^ : prefix / open          / defer : Δ
+          ^ : lparen / parenthetical / defer : Δ
+          $ : infix  / open          / defer : Δ
+          
+          Δ : term : $
+          """,
+        },
+        'open' => {
+          rules: """
+          ^ : constant / term          / reconvene : $
+          ^ : variable / term          / reconvene : $
+          ^ : prefix   / open          / defer : Δ
+          ^ : lparen   / parenthetical / defer : Δ
+          $ : infix    / open          / defer : Δ
+          
+          Δ : term     / term          / reconvene : $
+          """,
+        },
+        'parenthetical' => {
+          rules: """
+          ^ : constant : C
+          ^ : variable : C
+          ^ : prefix / open          / defer : Δ
+          ^ : lparen / parenthetical / defer : Δ
+          ^ : rparen / void          / reconvene : $
+          C : infix  / open          / defer : Δ
+          C : rparen / term          / reconvene : $
+          
+          Δ : term : C
+          """
+        }
+      }
+    }
+  end
+end

data/lib/proinsias/decoder.rb

@@ -0,0 +1,68 @@
+require 'moory'
+
+module Proinsias
+  module Decoder
+    RULES = """
+    ^ : p / variable / produce : ^
+    ^ : q / variable / produce : ^
+    ^ : r / variable / produce : ^
+    ^ : s / variable / produce : ^
+
+    ^ : ¬ / prefix / produce : ^
+
+    ^ : ≡ / infix / produce : ^
+    ^ : ∧ / infix / produce : ^
+    ^ : ∨ / infix / produce : ^
+    ^ : ⇒ / infix / produce : ^
+    ^ : ⇐ / infix / produce : ^
+
+    ^ : ( / lparen / produce : ^
+    ^ : ) / rparen / produce : ^
+
+    ^ : t : 0
+    0 : r : 1
+    1 : u : 2
+    2 : e / constant / produce : ^
+
+    ^ : f : 3
+    3 : a : 4
+    4 : l : 5
+    5 : s : 6
+    6 : e / constant / produce : ^
+    """
+    
+    class Automaton < Moory::Logistic::Unit
+      IGNORE = [' ', "\t", "\n"]
+
+      def initialize(consumer)
+        @buffer = ""
+        @consumer = consumer
+        super(rules: RULES)
+      end
+
+      def configure(rules)
+        super
+        repertoire.learn(name: 'produce', item: method(:produce))
+      end
+
+      def produce(output)
+        @consumer.call(
+          Token.new(
+            glyph: @buffer,
+            role:  output
+          )
+        )
+        @buffer = ""
+      end
+
+      def issue(stimulus)
+        return if IGNORE.include?(stimulus)
+        
+        @buffer << stimulus
+        unless success = super(stimulus)
+          produce(nil)
+        end
+      end
+    end
+  end
+end

data/lib/proinsias/operators.rb

@@ -0,0 +1,136 @@
+module Proinsias
+  module Competitor
+    module Optimistic
+      attr_reader :strength
+      include Comparable
+  
+      def <=>(other)
+        return  1 if strength >  other.strength
+        return  1 if strength == other.strength
+        return -1 if strength <  other.strength
+      end
+    end
+  
+    module Pessimistic
+      attr_reader :strength
+      include Comparable
+  
+      def <=>(other)
+        return  1 if strength >  other.strength
+        return -1 if strength == other.strength
+        return -1 if strength <  other.strength
+      end
+    end
+  end
+
+  module Atoms
+    class Atom
+      include Receiver
+      include Competitor::Pessimistic
+
+      def initialize(glyph)
+        @glyph = glyph
+        @capacity = 0
+        @strength = 0
+      end
+
+      def to_ast
+        @glyph
+      end
+    end
+    
+    Constant = Atom
+    Variable = Atom
+  end
+
+  module Operators
+    class Operator
+      def to_ast
+        {
+          @glyph => arguments.collect { |a| a.to_ast }
+        }
+      end
+    end
+
+    class BinaryOperator < Operator
+      include Proinsias::Receiver
+
+      def initialize(glyph)
+        @glyph = glyph
+        @capacity = 2
+      end
+    end
+
+    class UnaryOperator < Operator
+      include Proinsias::Receiver
+
+      def initialize(glyph)
+        @glyph = glyph
+        @capacity = 1
+      end
+    end
+
+    class Negation < UnaryOperator
+      include Competitor::Pessimistic
+
+      def initialize
+        super('¬')
+        @strength = 2
+      end
+    end
+
+    class Equivalence < BinaryOperator
+      include Competitor::Optimistic
+
+      def initialize
+        super('≡')
+        @strength = 12
+      end
+    end
+
+    class Consequence < BinaryOperator
+      include Competitor::Optimistic
+
+      def initialize
+        super('⇐')
+        @strength = 11
+      end
+    end
+
+    class Implication < BinaryOperator
+      include Competitor::Pessimistic
+
+      def initialize
+        super('⇒')
+        @strength = 11
+      end
+    end
+
+    class Equality < BinaryOperator
+      include Competitor::Optimistic
+
+      def initialize
+        super('=')
+        @strength = 9
+      end
+    end
+
+    class Disjunction < BinaryOperator
+      include Competitor::Optimistic
+
+      def initialize
+        super('∨')
+        @strength = 10
+      end
+    end
+
+    class Conjunction < BinaryOperator
+      include Competitor::Optimistic
+
+      def initialize
+        super('∧')
+        @strength = 10
+      end
+    end
+  end
+end

data/lib/proinsias/receiver.rb

@@ -0,0 +1,92 @@
+module Proinsias
+  module Receiver
+    attr_reader :received, :capacity
+
+    alias nodes received
+    alias arguments received
+
+    def received
+      @received ||= []
+    end
+
+    def receive(guest)
+      (received << guest
+      guest) unless full?
+    end
+
+    def full?
+      ! expectant?
+    end
+
+    def expectant?
+      received.count < capacity
+    end
+
+    def last
+      received.last
+    end
+
+    def seek(inspector)
+      inspector.call(self) ?
+        self :
+        refer(inspector)
+    end
+
+    def step_up(mark)
+      seek(
+        proc { |candidate| candidate.received.last >= mark }
+      )
+    end
+
+    def integrate(incoming)
+      if self < incoming
+        unplug(step_up(incoming)).tap do |unplugged|
+          incoming.receive(unplugged.plug)
+          unplugged.receiver.receive(incoming)
+        end
+        self
+      elsif self == incoming
+        # This is where we will have to consider "contrary" receivers
+        # which we don't yet have.
+        incoming.receive(self)
+        incoming
+      elsif self > incoming
+        incoming.receive(self)
+        incoming
+      end
+    end
+    
+    def unplug(stock)
+      Unplugged.new(
+        receiver: stock,
+        plug:     stock.nodes.pop
+      )
+    end
+
+    Unplugged = Struct.new(:receiver, :plug, keyword_init: true)
+
+    # new interface
+    def accommodates?(other)
+      other > last
+    end
+
+    def absorb(other)
+      accommodates?(other) ?
+        splice(other) :
+        last.absorb(other)
+    end
+
+    def splice(other)
+      other.receive(received.pop)
+      receive(other)
+    end
+
+    private
+    
+    def refer(inspector)
+      received.count > 0 ?
+        received.last.seek(inspector) :
+        nil
+    end
+  end
+end

data/lib/proinsias/sieve.rb

@@ -0,0 +1,31 @@
+require 'moory'
+
+module Proinsias
+  class Sieve
+    def initialize(filter:, consumer:, quarantine:nil)
+      @consumer   = consumer
+      @quarantine = quarantine
+      @filter     = filter
+    end
+
+    def issue(token)
+      fits?(token) ?
+        release(token) :
+        quarantine(token)
+    end
+
+    private
+
+    def fits?(token)
+      @filter.issue(token.role)
+    end
+
+    def release(token)
+      @consumer.call(token)
+    end
+
+    def quarantine(token)
+      @quarantine.call(token) if @quarantine
+    end
+  end
+end

data/lib/proinsias/token.rb

@@ -0,0 +1,3 @@
+module Proinsias
+  Token = Struct.new(:role, :glyph, keyword_init: true)
+end

data/lib/proinsias/version.rb

@@ -0,0 +1,3 @@
+module Proinsias
+  VERSION = "0.1.0"
+end

data/lib/proinsias.rb

@@ -0,0 +1,12 @@
+require "proinsias/version"
+require "proinsias/token"
+require "proinsias/decoder"
+require "proinsias/configurations"
+require "proinsias/sieve"
+require "proinsias/receiver"
+require "proinsias/operators"
+require "proinsias/assembler"
+
+module Proinsias
+  # Your code goes here...
+end

data/proinsias.gemspec

@@ -0,0 +1,39 @@
+
+lib = File.expand_path("../lib", __FILE__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+require "proinsias/version"
+
+Gem::Specification.new do |spec|
+  spec.name          = "proinsias"
+  spec.version       = Proinsias::VERSION
+  spec.authors       = ["Adam W. Grant"]
+  spec.email         = ["adam_grnt@yahoo.co.uk"]
+
+  spec.summary       = %q{Manipulate formulae of the Propositional Calculus.}
+  spec.homepage      = "https://github.com/elclavijero/proinsias"
+  spec.license       = "MIT"
+
+  # Prevent pushing this gem to RubyGems.org. To allow pushes either set the 'allowed_push_host'
+  # to allow pushing to a single host or delete this section to allow pushing to any host.
+  # if spec.respond_to?(:metadata)
+  #   spec.metadata["allowed_push_host"] = "TODO: Set to 'http://mygemserver.com'"
+  # else
+  #   raise "RubyGems 2.0 or newer is required to protect against " \
+  #     "public gem pushes."
+  # end
+
+  # Specify which files should be added to the gem when it is released.
+  # The `git ls-files -z` loads the files in the RubyGem that have been added into git.
+  spec.files         = Dir.chdir(File.expand_path('..', __FILE__)) do
+    `git ls-files -z`.split("\x0").reject { |f| f.match(%r{^(test|spec|features)/}) }
+  end
+  spec.bindir        = "exe"
+  spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
+  spec.require_paths = ["lib"]
+
+  spec.add_development_dependency "bundler", "~> 1.16"
+  spec.add_development_dependency "rake", "~> 10.0"
+  spec.add_development_dependency "rspec", "~> 3.0"
+
+  spec.add_dependency "moory", "~> 1.1.3"
+end

metadata

@@ -0,0 +1,120 @@
+--- !ruby/object:Gem::Specification
+name: proinsias
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- Adam W. Grant
+autorequire: 
+bindir: exe
+cert_chain: []
+date: 2018-08-05 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.16'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.16'
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+- !ruby/object:Gem::Dependency
+  name: moory
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 1.1.3
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 1.1.3
+description: 
+email:
+- adam_grnt@yahoo.co.uk
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- ".rspec"
+- ".travis.yml"
+- Gemfile
+- Gemfile.lock
+- LICENSE.txt
+- README.md
+- Rakefile
+- bin/console
+- bin/setup
+- lib/proinsias.rb
+- lib/proinsias/assembler.rb
+- lib/proinsias/configurations.rb
+- lib/proinsias/decoder.rb
+- lib/proinsias/operators.rb
+- lib/proinsias/receiver.rb
+- lib/proinsias/sieve.rb
+- lib/proinsias/token.rb
+- lib/proinsias/version.rb
+- proinsias.gemspec
+homepage: https://github.com/elclavijero/proinsias
+licenses:
+- MIT
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.7.6
+signing_key: 
+specification_version: 4
+summary: Manipulate formulae of the Propositional Calculus.
+test_files: []