All you need to do to fix your problem is look at your code and imagine what a prolog interpreter would do when interpreting it.

Well you have more problems than just that.

Your second predicate is going to match and override whatever you do in your third predicate. You need to handle nested lists before you handle non-nested lists.

No, it says you have non-exhaustive patterns!

In particular, you defined the function binadd for non-empty lists with:

binadd (x:xs) (y:ys) n = ...


But you didn't define the function for...

d2b2 evaluates to something of type [Int], right? Which means the expression (d2b2(n / 2):1) is trying to pass an [Int] as the left-hand argument of the (:) function. Since the (:) function is of...

This is a complete waste of your time.

awk '{ system("kill " $2) }'

Well, yeah. I agree with calling functions (when used functionally in Scheme) functions. And calling procedures (when used procedurally, with side effects) procedures.

Of course, Scheme isn't...

There are no functions in Scheme, only procedures. That is, the word used in the R5RS specification (and probably R6RS, but I haven't read that) is "procedure". That's why there is a procedure...