pushq %rbp
movq %rsp, %rbp
movl %edi, -4(%rbp)
movl -4(%rbp), %eax
addl $1, %eax
leave
ret

| rectangles aPoint collisions |
rectangles := OrderedCollection
  with: (Rectangle left: 0 right: 10 top: 100 bottom: 200)
  with: (Rectangle left: 10 right: 10 top: 110 bottom: 210).
aPoint := Point x: 20 y: 20.
collisions := rectangles select: [:aRect | aRect containsPoint: aPoint].


let twice f x = f(f(x))
let inc x = x + 1
let x = inc 5
let y = twice inc 5


- human(socrates).
- mortal(X) :- human(X).
-? mortal(Who).
Who = socrates