Is there a way to determine the number of logical inferences?

Lugdunum, created Oct 02. 2015 In order to determine the efficiency of an algorithm SWI prolog can give you the number of inferences and the times of a call. Is there a way to do something similar with jekejeke prolog? -- regards, Lyon

Comments

Re: Is there a way to determine the number of logical inferences?

Jan Burse, created Oct 10. 2015 Hi Lugdunum, I have fixed the example, it now works for the new functor atoms that carry call-site information, introduced in release 1.0.5. Bye

Re: Is there a way to determine the number of logical inferences?

Jan Burse, created Oct 05. 2015 Hi Lugdunum, Currently there is no predefined counter inside the interpreter or a profile facility for the interpreter in Jekejeke Prolog. Since this is all still experimental, can change when the module system changes. There is an exercise in the Jekejeke Development environment with example code that defines a little preliminary counter statistics utility. You can find the explanation here: http://www.jekejeke.ch/idatab/doclet/prod/en/docs/10_dev/10_docu/02_reference/04_examples/02_count.html And the example code here: http://www.jekejeke.ch/idatab/doclet/prod/en/docs/10_dev/10_docu/02_reference/07_appendix/example02/package.html Most likely the above code is broken, since I have recently introduced atom_property/2. Have to check and update if I find an error. You would need to install the development environment since the goal_tracing/2 hook is only available in the development enviroment and not in the runtime library. Bye