# Goal Evaluation with Timeouts **URL:** https://swi-prolog.discourse.group/t/goal-evaluation-with-timeouts/1569 **Category:** Help! **Created:** [December 5, 2019, 12:48pm UTC](https://swi-prolog.discourse.group/t/goal-evaluation-with-timeouts/1569 "2019-12-05T12:48:15Z") **Posts on this page:** 1 **Showing post:** 8
### Author: ![EricGT](https://avatars.discourse-cdn.com/v4/letter/e/f1d935/32.png) [@EricGT](https://swi-prolog.discourse.group/u/EricGT) #### Post date: [December 5, 2019, 10:22pm UTC](https://swi-prolog.discourse.group/t/goal-evaluation-with-timeouts/1569/8 "2019-12-05T22:22:25Z")
> [@aminemarref](#): > > Wow, I did not know about tabling; I have very entangled parts in my code to memorise proved goals and unprovable goals to speed up the search for goal. I will definitely look into this as it looks very clean and does things transparently without cluttering the code. Cheers! Be aware that Jan has been adding/updating the tabling code over the last few [months](https://swi-prolog.discourse.group/t/ann-swi-prolog-8-1-17/1555) so if something doesn’t work as expected, don’t assume you made a mistake. At present it would be best to post it here so Jan can look it over and let you know if you found a bug in the SWI-Prolog tabling code or something. 😃 --- _[View the full topic](https://swi-prolog.discourse.group/t/goal-evaluation-with-timeouts/1569)._