rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

remove tabling attributes in each module's attribute_goals//1 (#1825)

Browse Source
This commit is contained in:
Mark
2023-06-27 10:30:55 -06:00
parent a6522d6317
commit aa65287c3b
6 changed files with 31 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/lib/tabling/batched_worklist.pl
View File

@@ -49,12 +49,20 @@
:- use_module(library(tabling/double_linked_list)). :- use_module(library(tabling/double_linked_list)).
:- use_module(library(atts)). :- use_module(library(atts)).
:- use_module(library(dcgs)).
:- use_module(library(lists)). :- use_module(library(lists)).
:- attribute executing_all_work/1, worklist_presence/1, wkl_answer_cluster/1, wkl_suspension_cluster/1, wkl_answer_cluster_pointer_flag/1. :- attribute executing_all_work/1, worklist_presence/1, wkl_answer_cluster/1, wkl_suspension_cluster/1, wkl_answer_cluster_pointer_flag/1.
verify_attributes(_, _, []). verify_attributes(_, _, []).
attribute_goals(X) -->
{ put_atts(X, -executing_all_work(_)),
put_atts(X, -worklist_presence(_)),
put_atts(X, -wkl_answer_cluster(_)),
put_atts(X, -wkl_suspension_cluster(_)),
put_atts(X, -wkl_answer_cluster_pointer_flag(_)) }.
/** <module> Tabling Worklist management /** <module> Tabling Worklist management
A batched worklist: a worklist that clusters suspensions and answers as A batched worklist: a worklist that clusters suspensions and answers as

6
src/lib/tabling/double_linked_list.pl
View File

@@ -49,9 +49,15 @@
]). ]).
:- use_module(library(atts)). :- use_module(library(atts)).
:- use_module(library(dcgs)).
:- attribute dll_element/1, dll_next/1, dll_prev/1. :- attribute dll_element/1, dll_next/1, dll_prev/1.
attribute_goals(X) -->
{ put_atts(X, -dll_element(_)),
put_atts(X, -dll_next(_)),
put_atts(X, -dll_prev(_)) }.
% A circular double linked list % A circular double linked list
% ============================= % =============================

3
src/lib/tabling/global_worklist.pl
View File

@@ -9,12 +9,15 @@
]). ]).
:- use_module(library(atts)). :- use_module(library(atts)).
:- use_module(library(dcgs)).
:- use_module(library(iso_ext)). :- use_module(library(iso_ext)).
:- attribute table_global_worklist/1. :- attribute table_global_worklist/1.
verify_attributes(_, _, []). verify_attributes(_, _, []).
attribute_goals(X) --> { put_atts(X, -table_global_worklist(_)) }.
put_new_global_worklist :- put_new_global_worklist :-
( bb_get(table_global_worklist_initialized, _) -> ( bb_get(table_global_worklist_initialized, _) ->
true true

5
src/lib/tabling/table_data_structure.pl
View File

@@ -56,6 +56,7 @@
:- use_module(library(tabling/batched_worklist)). :- use_module(library(tabling/batched_worklist)).
:- use_module(library(atts)). :- use_module(library(atts)).
:- use_module(library(dcgs)).
:- use_module(library(gensym)). :- use_module(library(gensym)).
:- use_module(library(iso_ext)). :- use_module(library(iso_ext)).
@@ -63,6 +64,10 @@
verify_attributes(_, _, []). verify_attributes(_, _, []).
attribute_goals(X) -->
{ put_atts(X, -table_status(_)),
put_atts(X, -newly_created_table_identifiers(_)) }.
% This file defines the table datastructure. % This file defines the table datastructure.
% %
% The table datastructure contains the following sub-structures: % The table datastructure contains the following sub-structures:

4
src/lib/tabling/table_link_manager.pl
View File

@@ -43,6 +43,7 @@
]). ]).
:- use_module(library(atts)). :- use_module(library(atts)).
:- use_module(library(dcgs)).
:- use_module(library(lists)). :- use_module(library(lists)).
:- use_module(library(iso_ext)). :- use_module(library(iso_ext)).
:- use_module(library(terms)). :- use_module(library(terms)).
@@ -53,6 +54,9 @@
verify_attributes(_, _, []). verify_attributes(_, _, []).
attribute_goals(X) -->
{ put_atts(X, -trie_table_link(_)) }.
% This file defines a call pattern trie. % This file defines a call pattern trie.
% %
% This data structure keeps the relation between a variant and the % This data structure keeps the relation between a variant and the

5
src/lib/tabling/trie.pl
View File

@@ -45,12 +45,17 @@
:- use_module(library(assoc)). :- use_module(library(assoc)).
:- use_module(library(atts)). :- use_module(library(atts)).
:- use_module(library(dcgs)).
:- use_module(library(lists)). :- use_module(library(lists)).
:- attribute maybe_just/1, children/1. :- attribute maybe_just/1, children/1.
verify_attributes(_, _, []). verify_attributes(_, _, []).
attribute_goals(X) -->
{ put_atts(X, -maybe_just(_)),
put_atts(X, -children(_)) }.
% Implementation of a prefix tree, a.k.a. trie % % Implementation of a prefix tree, a.k.a. trie %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%