We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ae11a76 commit dc7f6abCopy full SHA for dc7f6ab
core/library/persdb/persdb.pl
@@ -1,7 +1,8 @@
1
:- package(persdb).
2
3
-% TODO: must be asserted before 'datafacts' to preserve semantics with
4
-% 'latest import priority'; but this seems to hide those defs, isn't it?
+:- use_package(datafacts). % TODO: refine?
+:- use_package(library(persdb/persdb_decl)).
5
+
6
:- use_module(library(persdb/persdb_rt), [%redefinebuiltins
7
asserta_fact/1,
8
assertz_fact/1,
@@ -13,9 +14,6 @@
13
14
update_files/0,
15
update_files/1]).
16
-:- use_package(datafacts). % TODO: refine?
17
-:- use_package(library(persdb/persdb_decl)).
18
-
19
:- redefining(asserta_fact/1).
20
:- redefining(assertz_fact/1).
21
:- redefining(retract_fact/1).
0 commit comments