Prolog language for PostgreSQL proof of concept
1–10 of 83 posts
Re: Prolog language for PostgreSQL proof of concept
#2So, I expected this to actually query the DB using prolog (using the correspondence between relational algebra and logic programming).
I mean, can those prolog stored procedures use the db as a source of facts for prolog, or otherwise write queries?
Re: Prolog language for PostgreSQL proof of concept
#3On a related note, have there ever been extensions for PosgreSQL/SQLite/any other FOSS DBMS that would allow using Tutorial D[1] (the Third-Manifesto one, not to be confused with Walter Bright's D language) to define and query data? In particular, I feel like PostgreSQL's CREATE TYPE[2] feature would allow for easier bridging between SQL and Tutorial D.
Unfortunately, searches for “PostgreSQL Tutorial D” don't issue useful results for obvious reasons.
[1]: https://www.dcs.warwick.ac.uk/~hugh/TTM/index.html
[2]: https://www.postgresql.org/docs/current/sql-createtype.html
Re: Prolog language for PostgreSQL proof of concept
#4I would have liked actual examples of what it can do. With a simple table, and a few requests and their outputs.
Re: Prolog language for PostgreSQL proof of concept
#5An alternative query language for PostgreSQL would be a wonderful thing! But it isn’t clear that’s what this is.
Re: Prolog language for PostgreSQL proof of concept
#6So, I expected this to actually query the DB using prolog (using the correspondence between relational algebra and logic programming). I mean, can those prolog stored procedures use the db as a source of facts for prolog, or otherwise write queries?
It looks like it's 1 hour old, and seems to me that embedding the Prolog would be a necessary first step.
Re: Prolog language for PostgreSQL proof of concept
#7If you're interested in this I would also recommend you check out Logica[0], which is a datalog-like language that is explicitly made to compile to SQL queries.
Re: Prolog language for PostgreSQL proof of concept
#8I would have liked actual examples of what it can do. With a simple table, and a few requests and their outputs.
that is coming, once I get it a bit more developed... this isn't anywhere near usable for real yet
Re: Prolog language for PostgreSQL proof of concept
#9On a related note, have there ever been extensions for PosgreSQL/SQLite/any other FOSS DBMS that would allow using Tutorial D[1] (the Third-Manifesto one, not to be confused with Walter Bright's D language) to define and query data? In particular, I feel like PostgreSQL's CREATE TYPE[2] feature would allow for easier bridging between SQL and Tutorial D. Unfortunately, searches for “PostgreSQL Tutorial D” don't issue…
Maybe ask on a suitable sounding PostgreSQL mailing list?
* https://www.postgresql.org/list/
The catch-all "general" one is probably good enough if nothing else seems like a closer match. :)
Re: Prolog language for PostgreSQL proof of concept
#10An alternative query language for PostgreSQL would be a wonderful thing! But it isn’t clear that’s what this is.
If you're interested in an alternative query language, https://prql-lang.org/ is a good one.