Logic
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475
use Logic;
sub mother( :$name is raw, :$child is raw ) is logic { True }
mother :name<aline>, :child<fernanda>;
mother :name<aline>, :child<sophia>;
mother :name<virginia>, :child<aline>;
say "-" x 10;
say "- mother";
.indent(4).say for query {
my $name;
my $child;
mother
}
say "-" x 10;
say "- mother :name<aline>";
.indent(4).say for query {
my $name;
my $child;
mother :name<aline>
}
say "-" x 10;
say "- mother :name<aline>, :child<sophia>";
.indent(4).say for query {
my $name;
my $child;
mother :name<aline> :child<sophia>
}
say "-" x 10;
say "- mother :name<no-one>";
.indent(4).say for query {
my $name;
my $child;
mother :name<no-one>
}
sub human(:$name is raw) is logic { True }
human :name<pitagoras>;
say "-" x 10;
say "- human";
.indent(4).say for query { human }
say "-" x 10;
say "- human :name<pitagoras>";
.indent(4).say for query { human :name<pitagoras> }
say "-" x 10;
say "- human :name<aline>";
.indent(4).say for query { human :name<aline> }
say "\n- Adding aline as a human";
human :name<aline>;
say "-" x 10;
say "- human :name<aline>";
.indent(4).say for query { human :name<aline> }
say "-" x 10;
say '- my $child; mother :$child; human :name($child)';
.indent(4).say for query {
my $child;
mother :$child;
human :name($child)
}
Raku
INFO