PHPackages                             phptailors/logic - PHPackages - PHPackages  [Skip to content](#main-content)[PHPackages](/)[Directory](/)[Categories](/categories)[Trending](/trending)[Leaderboard](/leaderboard)[Changelog](/changelog)[Analyze](/analyze)[Collections](/collections)[Log in](/login)[Sign up](/register)

1. [Directory](/)
2. /
3. [Utility & Helpers](/categories/utility)
4. /
5. phptailors/logic

ActiveLibrary[Utility & Helpers](/categories/utility)

phptailors/logic
================

First-order logic

01PHP

Since Jun 7Pushed 2y ago1 watchersCompare

[ Source](https://github.com/phptailors/logic)[ Packagist](https://packagist.org/packages/phptailors/logic)[ RSS](/packages/phptailors-logic/feed)WikiDiscussions master Synced 1mo ago

READMEChangelogDependenciesVersions (2)Used By (0)

[![Unit Tests](https://github.com/phptailors/logic/actions/workflows/unit_test.yml/badge.svg)](https://github.com/phptailors/logic/actions/workflows/unit_test.yml)[![Code Quality](https://github.com/phptailors/logic/actions/workflows/code_quality.yml/badge.svg)](https://github.com/phptailors/logic/actions/workflows/code_quality.yml)[![Docs Tests](https://github.com/phptailors/logic/actions/workflows/docs_test.yml/badge.svg)](https://github.com/phptailors/logic/actions/workflows/docs_test.yml)[![Docs Deploy](https://github.com/phptailors/logic/actions/workflows/docs_deploy.yml/badge.svg)](https://github.com/phptailors/logic/actions/workflows/docs_deploy.yml)[![Type Coverage](https://camo.githubusercontent.com/21f29713a13467a165ecd83d2994f0961a5660a1acd33ab1e5c671c1eb5a82e8/68747470733a2f2f73686570686572642e6465762f6769746875622f7068707461696c6f72732f6c6f6769632f636f7665726167652e737667)](https://shepherd.dev/github/phptailors/logic)[![Code Coverage](https://camo.githubusercontent.com/932a1566376101e53972dfc72696027e5cbc54081c78420a83b600908a3ce73e/68747470733a2f2f636f6465636f762e696f2f67682f7068707461696c6f72732f6c6f6769632f6272616e63682f6d61737465722f67726170682f62616467652e7376673f746f6b656e3d5457497a417063375764)](https://codecov.io/gh/phptailors/logic)

Logic
=====

[](#logic)

First-order logic implementation in PHP

Under development
-----------------

[](#under-development)

The project is in initial phase. No releases yet!

Quick intro
-----------

[](#quick-intro)

This library lets you construct and evaluate logical expressions. You may find it useful when you need to impose constraints on user input or arguments/options passed to a program or API.

Example
-------

[](#example)

```