Declaring predicates containing elipse
Posted: 4 Jan 2020 14:51
How do I declare the predicates supporting the following?
I am working through the examples included in the document "Language Reference/Terms", under the heading "Capturing ellipsis (...)". The above code is included to illustrate, and I am including it in a program so that I can use debug to follow and learn.
I am declaring ppp:
How do I declare qqq ?
Thanks in advance
Code: Select all
clauses
ppp(...) :-
W = { () :- stdio::write(...) },
qqq(W).
I am declaring ppp:
Code: Select all
predicates
ppp : (...).
Thanks in advance