 |
YAP 7.1.0
|
Go to the documentation of this file.
33conj2list(
M:Conj,
List )
:-
34 conj2list_(
Conj,
M,
List, [] ).
36conj2list(
Conj,
List )
:-
37 conj2list_(
Conj,
List, [] ).
44conj2list_( true )
--> conj2list_.
45conj2list_( (
C1,
C2) )
-->
56conj2list_( true ,
_)
--> conj2list_.
57conj2list_( (
C1,
C2),
M )
-->
62 {
strip_module(
M:C,
NM,
NC) },
72list2conj([
Last],
Last).
73list2conj([
Head,
Next|Tail], (
Head,
Goals))
:-
74 list2conj([
Next|Tail],
Goals).
81clauselength( (
_Head :- Conj),
Length )
:-
82 clauselength(
Conj,
Length,
1 ).
85clauselength(
C,
I1,
I )
:-
89clauselength( (
C1,
C2),
I2,
I )
:- clauselength,
90 clauselength(
C1,
I1,
I ),
91 clauselength(
C2,
I2,
I1 ).
92clauselength(
_C,
I1,
I )
:-