85
edits
No edit summary |
No edit summary |
||
Line 9: | Line 9: | ||
# A compiler from Ski to SWI-Prolog. | # A compiler from Ski to SWI-Prolog. | ||
# A compiler from Ski to Tau Prolog. Shouldn't really be that much different. | # A compiler from Ski to Tau Prolog. Shouldn't really be that much different. | ||
# The official website. Currently http://lang.ski redirects here. | # The official website, implemented in Ski. Currently http://lang.ski redirects here. | ||
# Package manager. I'm eager to see how a logic language can tackle the goal of dependency management. | # Package manager. I'm eager to see how a logic language can tackle the goal of dependency management. | ||
# Pine, a frontend framework similar to Elm. | # Pine, a frontend framework similar to Elm. |