logic-programming

An embedded logic language very much like prolog. It allows you to write and manipulate programs as s-expressions and make queries against them.

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedFriday, February 19th, 2021 1:46:33pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/silver-ag/logic-programming.git#main768a25685f588f63555a52dc34b0b8b6a1e90cd4
Last checkedThursday, March 4th, 2021 12:44:40pm (UTC)
Last editedTuesday, February 16th, 2021 6:00:41pm (UTC)
Date addedTuesday, February 16th, 2021 4:28:10pm (UTC)
Modules
  • logic-programming/logic-programming.scrbl
  • logic-programming/tests.rkt
  • logic-programming/main.rkt