noreductive and nosplit parameters

Hi. I downloaded Progol datasets and I used a .b file (the background
knowledge) for Aleph that contains these parameters:
:- noreductive.
:-
nosplit.
These parameters get problem with Yap compiler. Yap fails with
this message:
:- user: noreductive failed.
:- user: nosplit failed.
I
don't know these parameters. I 've seen something as: set(splitvars,+V)
in Aleph manual but I don't know if this is the same.
Do you can help
me? What does :- noreductive., :- nosplit. mean? How can I resolve my
problem?
Thanks.


-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

[Vitor Santos Costa-2]

Hi

YAP is just complaining, because Aleph does not define these
parameters, they seem to be Progol-only. It is doing the right thing.

Next follows some stuff from the progol manual, you may want to ask
the Aleph mailing list for accurate info :).

Cheers

Vitor

B reductive?
disallows literals in the body to have terms more complex than
most complex term in the clause head. Term complexity is measured
as follows: Variables = 1, Term = 2 + sum of argument complexities,
Constant = 2, Integer = 2 and Real = 2.
.TP
.B noreductive?
disables reductive constraint.
.TP
.B split?
allows "variable-splitting" i.e. breaking of variable co-references
in the most specific clause constructed in the first step of the
.I
generalise/1
command. This enables a more complete search of the subsumption lattice
above the most specific clause.
.TP
.B nosplit?
disables variable-splitting.


On Fri, Nov 14, 2008 at 10:32 AM, duxessa@...
<duxessa@...> wrote:

> Hi. I downloaded Progol datasets and I used a .b file (the background
> knowledge) for Aleph that contains these parameters:
> :- noreductive.
> :-
> nosplit.
> These parameters get problem with Yap compiler. Yap fails with
> this message:
> :- user: noreductive failed.
> :- user: nosplit failed.
> I
> don't know these parameters. I 've seen something as: set(splitvars,+V)
> in Aleph manual but I don't know if this is the same.
> Do you can help
> me? What does :- noreductive., :- nosplit. mean? How can I resolve my
> problem?
> Thanks.
>
>
> -------------------------------------------------------------------------
> This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
> Build the coolest Linux based applications with Moblin SDK & win great prizes
> Grand prize is a trip for two to an Open Source event anywhere in the world
> http://moblin-contest.org/redirect.php?banner_id=100&url=/
> _______________________________________________
> Yap-users mailing list
> Yap-users@...
> https://lists.sourceforge.net/lists/listinfo/yap-users
>

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users