trismegiste/prolog
A Prolog interpreter written in PHP. Embed logic programming and rule-based reasoning directly in your PHP applications using familiar Prolog syntax, unification, backtracking, and query solving—no external extensions required.
Warren Abstract Machine for symfony2
How can I help you explore Laravel packages today?