From dc7f6ab3be0337df78060c0a9ed3fc54698ae3a7 Mon Sep 17 00:00:00 2001 From: "Jose F. Morales" Date: Thu, 7 Nov 2024 04:59:18 +0100 Subject: [PATCH] (core) update persdb Src-commit: e90c6d43e89205335844f5dad9c262258a33a22f --- core/library/persdb/persdb.pl | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/core/library/persdb/persdb.pl b/core/library/persdb/persdb.pl index bb78bec6..aa55b159 100644 --- a/core/library/persdb/persdb.pl +++ b/core/library/persdb/persdb.pl @@ -1,7 +1,8 @@ :- package(persdb). -% TODO: must be asserted before 'datafacts' to preserve semantics with -% 'latest import priority'; but this seems to hide those defs, isn't it? +:- use_package(datafacts). % TODO: refine? +:- use_package(library(persdb/persdb_decl)). + :- use_module(library(persdb/persdb_rt), [%redefinebuiltins asserta_fact/1, assertz_fact/1, @@ -13,9 +14,6 @@ update_files/0, update_files/1]). -:- use_package(datafacts). % TODO: refine? -:- use_package(library(persdb/persdb_decl)). - :- redefining(asserta_fact/1). :- redefining(assertz_fact/1). :- redefining(retract_fact/1).