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

separate side-effects from declarative description to facilitate test cases etc.

Browse Source
This commit is contained in:
Markus Triska
2021-03-03 22:13:01 +01:00
parent 6477d21e24
commit d327a05e12
1 changed files with 10 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/loader.pl
View File

@@ -711,21 +711,21 @@ thread_goals(Goals0, Goals1, Hole, Functor) :-
% :- use_module(library(lists)). % :- use_module(library(lists)).
% :- use_module(library(format)). % :- use_module(library(format)).
% %
% call_form_generator(N) :- % n_call_clause(N, Clause) :-
% length(Args, N), % length(Args, N),
% CallHead =.. [call, G | Args], % Head =.. [call, G | Args],
% N1 is N + 1, % N1 is N + 1,
% Form = (CallHead :- ( var(G) -> % Clause = (Head :- ( var(G) ->
% instantiation_error(call/N1) % instantiation_error(call/N1)
% ; call_clause(G, Args, N1, G0) -> % ; call_clause(G, Args, N1, G0) ->
% '$call'(G0) % '$call'(G0)
% ; type_error(callable, G, call/N1) % ; type_error(callable, G, call/N1)
% )), % )).
% portray_clause(Form).
% %
% generate_call_forms :- % generate_call_forms :-
% between(1, 64, N), % between(1, 64, N),
% call_form_generator(N), % n_call_clause(N, Clause),
% portray_clause(Clause),
% nl, % nl,
% false. % false.
% %