20:05 <radiator3434> Hello, is there a way to trace pilog rules which have a conjunction of goals? e.g. to make a query and to know which goal was called, which failed, which retried with another value, which succeeded? I found (traceAll) but it does not seem to show this information.

20:07 <Regenaxer> yes, traceAll is Lisp-level, tracing functions

20:07 <Regenaxer> You can trace Pilog execution directly

20:08 <Regenaxer> (? append (append (a b c) (d e f) @X))

20:08 <Regenaxer> in total:

20:08 <Regenaxer> : (? append (append (a b c) (d e f) @X))

20:08 <Regenaxer> 2 (append (a b c) (d e f) (a . @Z))

20:08 <Regenaxer> 2 (append (b c) (d e f) (b . @Z))

20:08 <Regenaxer> 2 (append (c) (d e f) (c . @Z))

20:08 <Regenaxer> 1 (append NIL (d e f) (d e f))

20:08 <Regenaxer> @X=(a b c d e f)

20:09 <Regenaxer> -> NIL

20:10 <Regenaxer> '?' is a front-end to 'prove'

20:10 <Regenaxer> and 'prove' has such a trace argument

20:11 <Regenaxer> (a list of symbols as second arg)

20:11 <Regenaxer> Try (trace 'prove) and call the above '?'

20:16 <radiator3434> thanks

20:17 <Regenaxer> welcome btw :)

20:20 <radiator3434> :)