ruby-prolog 2.2.0 → 2.3.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 4dd70c2b7255275600ce03afa496196c08e1934e8c8a76d4300ea6a29ffa89f5
-  data.tar.gz: 2d0aa3ed40c536a4d1f3d39d883640238f1aa569c80de4f16066b08fa7db82d9
+  metadata.gz: 05106f067ff5d0aba8c772e92f83bc1b1f51fdda323ba2a9e823915fd3cc8511
+  data.tar.gz: 8342ee2d5da3785315ee5db800ac603e986aa29d65d9d5c199578a0af5395fed
 SHA512:
-  metadata.gz: ad4daa2df49daf2c182142148c67b54d81828eb953fc54be41f540a47e280afc735dc322d507201afbbdd9dbfb93badc9dc943abb3f019abf8cbf25efba0169b
-  data.tar.gz: 06e32aac58dedaaa865be276203f4b3667447ca4e4c3a5ae855d2eaa0c94c14eb47900e59b4445e8f79665e83536edcd1b5d1cfff08af96b8e48c0d3116d1d10
+  metadata.gz: 9901482b866a7dd9039556ffae9a3f2239df49c6ef1411f8382b13d2167d558deab4dc23be51bac22ecf7cdbfc220ad51e47239f44d218ff18f4cd90bc0b6df4
+  data.tar.gz: 284d6a69c48b7444e74c171087e501e7f1b482696b27b00c8fc64ee7c1f526bbd9bf672a74d14a8ad48255dc3f6b74f452013ef3fb825b4fae71841fed893d66

data/lib/ruby-prolog/ruby-prolog.rb

@@ -22,11 +22,11 @@ module RubyProlog
     end
 
     def inspect
-      return @name.to_s
+      @name.to_s
     end
 
     def [](*args)
-      return TempClause.new(@db, self, args)
+      TempClause.new(@db, self, args)
     end
 
     def to_prolog
@@ -41,6 +41,13 @@ module RubyProlog
       dupe.clauses = dupe.clauses.dup
       dupe
     end
+
+    #
+    # DSL for 0-arity predicates
+    #
+    def <<(goals); TempClause.new(@db, self, []) << goals; end
+    def to_goal; TempClause.new(@db, self, []).to_goal; end
+    def fact; TempClause.new(@db, self, []).fact; end
   end
 
   class TempClause

data/lib/ruby-prolog/version.rb

@@ -1,5 +1,5 @@
 module RubyProlog
 
-	VERSION = '2.2.0'
+	VERSION = '2.3.0'
 
 end

data/test/lib/ruby-prolog/ruby-prolog_test.rb

@@ -320,4 +320,21 @@ describe RubyProlog do
     _( db.query{_= implies['a', 'd'] } ).must_equal [{}]
     _( db.query{_= implies['a', 'idontexist'] } ).must_equal []
   end
+
+  it 'supports zero-arity predicates' do
+    db = RubyProlog.new do
+      data['a'].fact
+      foo_1[] << data['a']
+      bar_1[].fact
+
+      foo_2 << data['b']
+      bar_2.fact
+    end
+
+    _( db.query{ foo_1[] } ).must_equal [{}]
+    _( db.query{ bar_1[] } ).must_equal [{}]
+
+    _( db.query{ foo_2 } ).must_equal []
+    _( db.query{ bar_2 } ).must_equal [{}]
+  end
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: ruby-prolog
 version: !ruby/object:Gem::Version
-  version: 2.2.0
+  version: 2.3.0
 platform: ruby
 authors:
 - Preston Lee
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2020-04-10 00:00:00.000000000 Z
+date: 2020-08-03 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler