Re: goal_expansion
Jonathon Doran <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
Quoting Jan Wielemaker <[email protected]>: > There is little wrong with this usage, although I wonder why you are not > using a nice meta predicate: The explanation is simple: I wouldn't know what a meta predicate is if it beat me up and stole my lunch money. Those of you who know all of this stuff have my utmost respect. Jonathon Doran PS: Paulo Moura's paper "Towards a Study of Meta-Predicate Semantics" was very helpful.