{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:pub/unification","name":"unification","description":"An implementation of logical first-order unification for logic programming in dart. ","version":"0.1.15","softwareVersion":"0.1.15","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/welopment/unification","issueTracker":"https://github.com/welopment/unification/issues","url":"https://github.com/welopment/unification","programmingLanguage":{"@type":"ComputerLanguage","name":"Dart"},"dateCreated":"2018-09-28","dateModified":"2020-01-03","datePublished":"2020-01-03","copyrightYear":2018,"downloadUrl":"https://pub.dev/packages/unification/versions/0.1.15.tar.gz","softwareHelp":{"@type":"WebSite","url":"https://pub.dev/documentation/unification/"},"applicationCategory":"pub","runtimePlatform":"pub","developmentStatus":"active","sameAs":["https://pub.dev/packages/unification"],"https://www.w3.org/ns/activitystreams#likes":3}