Fibonacci Sequence - Prolog Typing CST Test