Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

pl:prolog:pllib:meta_interpreter_4 [2019/06/27 15:50] (aktualna)
Linia 1: Linia 1:
 +====== Meta interpreter 4 ======
 +{{tag>​metainterpreter stack}}
 +===== Description =====
 +A meta-interpreter detecting a stack overflow
 +
 +**Source**: ​ The Art of Prolog
 +===== Download =====
 +Program source code: {{meta_interpreter_4.pl}}
 +===== Listing =====
 +<code prolog>
 +/*
 +   ​solve(A,​D,​Overflow) :-
 + A has a proof tree of depth less than D and Overflow equals ​
 + no_overflow,​or A has a branch in the computation tree longer
 + than D, and Overflow contains a list of its first D elements.
 +*/
 + solve(true,​D,​no_overflow) :- !.
 + solve(A,​0,​overflow([])).
 + solve((A,​B),​D,​Overflow) :- !,
 + D > 0,
 + solve(A,​D,​OverflowA),​
 + solve_conjunction(OverflowA,​B,​D,​Overflow).
 + solve(A,​D,​Overflow) :-
 + D > 0,
 + clause(A,​B),​
 + D1 is D - 1,
 + solve(B,​D1,​OverflowB),​
 + return_overflow(OverflowB,​A,​Overflow).
 + solve(A,​D,​no_overflow) :-
 + D > 0,
 + system(A),​ A.
 +
 + solve_conjunction(overflow(S),​B,​D,​overflow(S)).
 + solve_conjunction(no_overflow,​B,​D,​Overflow) :-
 + solve(B,​D,​Overflow).
 +
 + return_overflow(no_overflow,​A,​no_overflow).
 + return_overflow(overflow(S),​A,​overflow([A|S])).
 +
 +% Program 17.11 :A meta-interpreter detecting a stack overflow
 +</​code>​
 +===== Comments =====
  
pl/prolog/pllib/meta_interpreter_4.txt · ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0