From def97602e26f3735d5e9734448213037ba99798e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Mon, 25 Nov 2013 16:03:25 +0100 Subject: [PATCH] nth_clause --- pl/preds.yap | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pl/preds.yap b/pl/preds.yap index f51c0948f..815faea97 100644 --- a/pl/preds.yap +++ b/pl/preds.yap @@ -374,6 +374,10 @@ nth_clause(V,I,R) :- '$do_error'(type_error(callable,C),M:nth_clause(C,I,R)). '$nth_clause'(R,M,I,R) :- db_reference(R), !, '$do_error'(type_error(callable,R),M:nth_clause(R,I,R)). +'$nth_clause'(P,M,I,R) :- var(I), var(R), !, + '$number_of_clauses'(P,M,N), N > 0, + between(1, N, I), + '$nth_clause'(P,M,I,R). '$nth_clause'(P,M,I,R) :- ( '$is_log_updatable'(P,M) ; '$is_source'(P,M) ), !, '$p_nth_clause'(P,M,I,R).