https://github.com/abailly/hslogic

A logic programming based framework to allocate resources
https://github.com/abailly/hslogic

Last synced: about 1 month ago
JSON representation

A logic programming based framework to allocate resources

• Host: GitHub
• URL: https://github.com/abailly/hslogic
• Owner: abailly
• License: other
• Created: 2014-03-15T21:18:38.000Z (over 12 years ago)
• Default Branch: master
• Last Pushed: 2025-11-14T07:18:07.000Z (7 months ago)
• Last Synced: 2025-11-14T09:22:13.101Z (7 months ago)
• Language: Haskell
• Size: 42 KB
• Stars: 1
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Introduction

A logic programming based framework to allocate resources on systems.

The goal of this tool is to allow defining machines and environments provisioning in a declarative way based on

[linear logic](https://en.wikipedia.org/wiki/Linear_logic) programming. Linear logic is a *logic of resources* where logical

propositions use in a proof can be restricted thus supporting the concept of *consuming*  resources to *produce*  results. Linear

logic also embeds classical (or intuitionistic) logic formulas so it is possible to express properties that hold under resources

constraints or abstract truths.

As of now it mostly tries to implement a Prolog like interpreter understanding linear logic constructs.