based off: http://www.cl.cam.ac.uk/~am21/research/funnel/prolog.c - View it on GitHub