{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:cargo/prolog-squared","name":"prolog-squared","description":"A Meta-Interpretive Learning framework implementing second-order SLD resolution","version":"1.4.6","softwareVersion":"1.4.6","license":"https://spdx.org/licenses/Other","codeRepository":"https://github.com/JamesTrewern/prolog2","issueTracker":"https://github.com/JamesTrewern/prolog2/issues","keywords":["ilp","logic-programming","machine-learning","prolog"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Rust"},"maintainer":[{"@type":"Person","name":"JamesTrewern","url":"https://github.com/JamesTrewern"}],"author":[{"@type":"Person","name":"JamesTrewern","url":"https://github.com/JamesTrewern"}],"copyrightHolder":[{"@type":"Person","name":"JamesTrewern","url":"https://github.com/JamesTrewern"}],"dateCreated":"2026-03-06","dateModified":"2026-09-03","datePublished":"2026-09-03","copyrightYear":2026,"downloadUrl":"https://static.crates.io/crates/prolog-squared/prolog-squared-1.4.6.crate","softwareHelp":{"@type":"WebSite","url":"https://docs.rs/prolog-squared/"},"applicationCategory":"cargo","runtimePlatform":"cargo","developmentStatus":"active","sameAs":["https://crates.io/crates/prolog-squared/"],"https://www.w3.org/ns/activitystreams#likes":4}