Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
% s(CASP) Programming :- use_module(library(scasp)). false :- list1_list2(_List1,List2),my_length(List2,4). p(1). p(2). p(3). my_length([],0). my_length([_|List],Len):-my_length(List,Len0),Len is Len0+1. list1_list2(List,[P|List]):- p(P). list1_list2_h(List1,List2):- list1_list2(List1,List2),my_length(List2,_Len). /** <examples> Your example queries go here, e.g. ?- ? list1_list2([],List). ?- ? list1_list2([3,4],List). ?- ? list1_list2([a,b,c],List). ?- ? list1_list2_h([],List). ?- ? list1_list2_h([3,4],List). ?- ? list1_list2_h([a,b,c],List). */