search

logic-and-learning-lab / Popper

An inductive logic programming system
MIT License
206 stars 36 forks source link

meta-predicates #91

Closed i-am-neo closed 1 month ago

i-am-neo commented 1 month ago

More a question. Are meta-predicates supported in Popper?

Thanks.

andrewcropper commented 1 month ago

Hi,

Can you expand on what you mean by a meta-predicate?

i-am-neo commented 1 month ago

Hi @andrewcropper , like

maplist(:Goal, +List1, ?List2)

where I can pass in another pedicate for

:Goal

Thank you.

andrewcropper commented 1 month ago

Unfortunately, the current code does not support such meta-predicates.

However, a variant of the Hopper system (https://www.ijcai.org/proceedings/2022/0378.pdf) is available here: https://github.com/celinehocquette/ijcai24-stevie

However, it greatly differs from the main Popper repository and is quite outdated.

i-am-neo commented 1 month ago

Thank you. Are there other significant changes to Stevie apart from updating the Popper version? Ie., if I use the current version of Popper, the examples in Stevie should still "work?"

andrewcropper commented 1 month ago

Hi,

All the examples that do not require meta-predicates will work.

Kind regards,

Andrew

On 19 Sep 2024, at 23:25, i-am-neo @.***> wrote:

Thank you. Are there other significant changes to Stevie apart from updating the Popper version? Ie., if I use the current version of Popper, the examples in Stevie should still "work?" — Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you were mentioned.Message ID: @.***>