metagol
Metagol - an inductive logic programming system (by metagol)
suggest.el
discover elisp functions that do what you want (by Wilfred)
Our great sponsors
metagol | suggest.el | |
---|---|---|
2 | 1 | |
175 | 362 | |
- | - | |
1.5 | 4.8 | |
over 2 years ago | 7 months ago | |
Prolog | Emacs Lisp | |
BSD 3-clause "New" or "Revised" License | - |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
metagol
Posts with mentions or reviews of metagol.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-02-13.
-
Tutorial-Like Material for ILP
In addition to what u/Logtalking answered you can also start out from the original Metagol implementation that Cropper and Muggleton provided, available here on github.
suggest.el
Posts with mentions or reviews of suggest.el.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-04-07.
-
Supporting hand health for Common Lisp developers
If you really want to go crazy, do interactive type-driven program synthesis. Although I think the state-of-the-art in this field is a Haskell tool called Wingman, and there are similar tools for Agda, as described in this paper, it is possible in Common Lisp I don't know if it has been done. The methodology for more rigorous typing in Common Lisp is described here. There is a program synthesis system written in Scheme called Barliman, and someone wrote an Emacs version of it called complete.el.
What are some alternatives?
When comparing metagol and suggest.el you can also consider the following projects:
Popper - An inductive logic programming system
Barliman - Prototype smart text editor
logtalk3 - Logtalk - declarative object-oriented logic programming language
doom-emacs - An Emacs framework for the stubborn martian hacker [Moved to: https://github.com/doomemacs/doomemacs]
PythonProgrammingPuzzles - A Dataset of Python Challenges for AI Research
use-package - A use-package declaration for simplifying your .emacs
prelude - Prelude is an enhanced Emacs 25.1+ distribution that should make your experience with Emacs both more pleasant and more powerful.
doomemacs - An Emacs framework for the stubborn martian hacker