Join our
new subreddit
X
PLDB
Top 1K
Features
Creators
Events
Podcasts
Books
Extensions
Interviews
Blog
Explorer
CSV
miniprolog
<
>
home
edit
miniprolog is a
minilanguage
created in
2013
.
#3080
on PLDB
12
Years Old
Homepage
logic programming, Horn clauses, unification
Tags:
minilanguage
Early development of miniprolog happened in
University of Ljubljana
Read more about miniprolog on the web:
1.
minihaskell.html
路 miniprolog.html 路
mir.html
PLDB
- Build the next great programming language
路
Add
路
Add Prompt
路
Issues
路
About
路
Search
路
Keywords
路
Livestreams
路
Labs
路
Resources
路
Acknowledgements
Built with Scroll v170.1.0