basics

[4meta5]

linear homogenous eq of deg2

• [x] https://github.com/4meta5/reconocer/issues/2

arithmetic and geometric sequences

• [x] geometric sequence finds Q for lists with len >= 2
• [x] arithmetic sequence ""
• [x] nth term
• [x] partial sums

special sequences

• [x] fibonacci numbers
• [x] recognize fib sequence
• [x] derangement numbers
• [x] recognize der sequence
• [x] binomial numbers
• [x] recognize binomial sequence
• [x] catalan numbers

[4meta5]

This is a problem with arithmetic which bleeds into other parts of the code. Why doesn't this fail earlier? Some infinite recursion here, but I'd like it to fail the first time that the difference sequence is shown to not be constant....

arithmetic([X,Y],Q) :-
    Q is Y-X.
arithmetic([X,Y|T],Q) :-
    arithmetic([X,Y],Q),
    arithmetic([Y|T],Q).

QUERY:

?- arithmetic([1,4,16,64],Q).
ERROR: Stack limit (1.0Gb) exceeded
ERROR:   Stack sizes: local: 0.5Gb, global: 0.2Gb, trail: 5Kb
ERROR:   Stack depth: 5,162,016, last-call: 0%, Choice points: 3
ERROR:   In:
ERROR:     [5,162,016] user:arithmetic([length:2], 3)
ERROR:     [5,162,015] user:arithmetic([length:2], 3)
ERROR:     [5,162,014] user:arithmetic([length:2], 3)
ERROR:     [5,162,013] user:arithmetic([length:2], 3)
ERROR:     [5,162,012] user:arithmetic([length:2], 3)
ERROR: 
ERROR: Use the --stack_limit=size[KMG] command line option or
ERROR: ?- set_prolog_flag(stack_limit, 2_147_483_648). to double the limit.