NAME

Logic::Relational::DSL - Domain Specific Language helpers for relational logic.

SYNOPSIS

use Logic::Relational::DSL qw(variable call all not_goal);
my $perp = variable('perp');

Logic::Relational::DSL exports functional constructor helpers to build terms, variables, goals, and run unification directly in standard Perl.

To install Logic::Relational, copy and paste the appropriate command in to your terminal.

cpanm Logic::Relational

perl -MCPAN -e shell
install Logic::Relational

For more information on module installation, please visit the detailed CPAN module installation guide.

	Global
`s`	Focus search bar
`?`	Bring up this help dialog

	GitHub
`g` `p`	Go to pull requests
`g` `i`	Go to GitHub issues (only if GitHub is preferred repository)

Search terms
module: (e.g. module:Plugin)
distribution: (e.g. distribution:Dancer auth)
author: (e.g. author:SONGMU Redis)
version: (e.g. version:1.00)