Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

miniprolog

< >

miniprolog is a minilanguage created in 2013.

#3061on PLDB 11Years Old
Homepage

logic programming, Horn clauses, unification


- Build the next great programming language Add Issues About Search Keywords Livestreams Labs Resources Acknowledgements

Built with Scroll v154.3.0