Merge pull request #312 from ichiban/assert-public

a predicate created by {asserta, assertz}/1 must be public.
ichiban · Feb 18, 2024 · d6ea349 · d6ea349
2 parents 235fea6 + 5419eed
commit d6ea349
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/engine/builtin.go b/engine/builtin.go
@@ -705,7 +705,7 @@ func assertMerge(vm *VM, t Term, merge func([]clause, []clause) []clause, env *E
 	}
 	p, ok := vm.procedures[pi]
 	if !ok {
-		p = &userDefined{dynamic: true}
+		p = &userDefined{public: true, dynamic: true}
 		vm.procedures[pi] = p
 	}
 

diff --git a/engine/builtin_test.go b/engine/builtin_test.go
@@ -2577,7 +2577,7 @@ func TestAssertz(t *testing.T) {
 		assert.NoError(t, err)
 		assert.True(t, ok)
 
-		assert.Equal(t, &userDefined{dynamic: true, clauses: []clause{
+		assert.Equal(t, &userDefined{public: true, dynamic: true, clauses: []clause{
 			{
 				pi: procedureIndicator{
 					name:  NewAtom("foo"),
@@ -2707,7 +2707,7 @@ func TestAsserta(t *testing.T) {
 		assert.NoError(t, err)
 		assert.True(t, ok)
 
-		assert.Equal(t, &userDefined{dynamic: true, clauses: []clause{
+		assert.Equal(t, &userDefined{public: true, dynamic: true, clauses: []clause{
 			{
 				pi: procedureIndicator{name: NewAtom("foo"), arity: 1},
 				raw: &compound{
@@ -2758,7 +2758,7 @@ func TestAsserta(t *testing.T) {
 		assert.NoError(t, err)
 		assert.True(t, ok)
 
-		assert.Equal(t, &userDefined{dynamic: true, clauses: []clause{
+		assert.Equal(t, &userDefined{public: true, dynamic: true, clauses: []clause{
 			{
 				pi: procedureIndicator{name: NewAtom("foo"), arity: 0},
 				raw: &compound{