YAP 7.1.0
depth_bound.yap
1/*************************************************************************
2* *
3* YAP Prolog *
4* *
5* Yap Prolog was developed at NCCUP - Universidade do Porto *
6* *
7* Copyright L.Damas, V.S.Costa and Universidade do Porto 1985-1997 *
8* *
9**************************************************************************
10* *
11* File: corout.pl *
12* Last rev: *
13* mods: *
14* comments: Coroutines implementation *
15* *
16*************************************************************************/
17
18/**
19
20@defgroup DepthLimited Depth Limited Search
21@ingroup extensions
22
23YAP implements various extensions to the default Prolog search. One of
24the most iseful s restricting the maximum search depth.
25
26*/
27 :-
28depth_bound_call/2system_module( '$_depth_bound', [], []).
29
30%depth_bound_call(A,D) :-
31%write(depth_bound_call(A,D)), nl, fail.
32depth_bound_call(A,D) :-
33 '$execute_under_depth_limit'(A,D).
34
35
36