pyswip
awesome-prolog
pyswip | awesome-prolog | |
---|---|---|
5 | 1 | |
444 | 474 | |
- | - | |
0.0 | 0.0 | |
5 months ago | over 1 year ago | |
Python | ||
MIT License | Creative Commons Zero v1.0 Universal |
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.
pyswip
- Find Legal Moves in Brass Birmingham with Datalog
-
Prolog at work
You're looking for PySwip.
- The Power of Prolog
-
Small Prologs engine for app
you might like https://github.com/yuce/pyswip
-
Why Learn Prolog in 2021?
It might be easier to learn prolog, if it's wrapped in more familiar python.[1] Prolog's value lies in its database core. But much of the cost of learning a language is elsewhere, in coping with yet another way to do familiar things. With prolog, these are both relatively uninteresting, and nicely separable.
[1] https://github.com/yuce/pyswip
awesome-prolog
-
Why Learn Prolog in 2021?
Here are some resources:
https://github.com/klaussinani/awesome-prolog#resources
I recall going through the Adventure in Prolog one (free online resource) a while ago and enjoying it, helped direct a lot of exploration into the Prolog language and its capabilities for me. I have Clocksin & Mellish's Programming in Prolog (2003, 5th ed.) and liked it as a good introduction (or more expansion, I had dabbled in it previously and "knew" the language but not the full depth of it). I've read good things about The Art of Prolog by Sterling and Shapiro, but have not read it.
What are some alternatives?
the-power-of-prolog - Introduction to modern Prolog
clojure-graph-resources - A curated list of Clojure resources for dealing with graph-like data.
trealla - A compact, efficient Prolog interpreter written in plain-old C.
core.logic - A logic programming library for Clojure & ClojureScript
hatlog - custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
mercury - The Mercury logic programming system.
swiplserver - Python library for using SWI Prolog
Searching-In-An-Infinite-Space-Prolog - PP2014 Prolog Homework
debug_adapter - Debug Adapter Protocol (DAP) implementation for SWI-Prolog
prolog - The only reasonable scripting engine for Go.
lira - Lira is a declarative domain-specific language designed to be the backbone of financial contracts that can be executed on the blockchain