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

Merge pull request #827 from triska/rebis-dev

Browse Source 
add appropriate meta_predicate/1 declarations
This commit is contained in:
Mark Thom
2021-02-18 12:15:12 -07:00
committed by GitHub
parent d4d283480f 5bec2c87cb
commit e8f8f34a76
2 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/freeze.pl
View File

@@ -3,6 +3,8 @@
:- use_module(library(atts)). :- use_module(library(atts)).
:- use_module(library(dcgs)). :- use_module(library(dcgs)).
:- meta_predicate freeze(?, 0).
:- attribute frozen/1. :- attribute frozen/1.
verify_attributes(Var, Other, Goals) :- verify_attributes(Var, Other, Goals) :-

3
src/lib/pio.pl
View File

@@ -7,6 +7,9 @@
:- use_module(library(iso_ext), [setup_call_cleanup/3, partial_string/3]). :- use_module(library(iso_ext), [setup_call_cleanup/3, partial_string/3]).
:- use_module(library(lists), [member/2]). :- use_module(library(lists), [member/2]).
:- meta_predicate phrase_from_file(2, ?).
:- meta_predicate phrase_from_file(2, ?, ?).
phrase_from_file(NT, File) :- phrase_from_file(NT, File) :-
phrase_from_file(NT, File, []). phrase_from_file(NT, File, []).