in reply to Query database in Prolog
I'll run the full SWI prolog engine here and load the above program, I do this because I cannot get AI::Prolog to work with compound queries that I need.
This is due to the limited grammar which AI::Prolog supports. Changing your query to a rule will permit this. Add the following rule to the mytables file:
city_usr(City, Name, Id) :- city(City, City_ID), usr(City_ID, Name, Id).
Then you can run the shell:
AI-NeuralNet-Simple-0.03 $ aiprolog mytables.pro Welcome to AI::Prolog v 0.732 Copyright (c) 2005, Curtis "Ovid" Poe. AI::Prolog comes with ABSOLUTELY NO WARRANTY. This library is free so +ftware; you can redistribute it and/or modify it under the same terms as Perl +itself. Type '?' for help. ?- listing. 1. city_usr/3: city_usr(A, B, C) :- city(A, D), usr(D, B, C). 2. usr/3: usr(1, John, 1). usr(1, Marry, 2). usr(2, Eva, 3). usr(3, Zby, 4). 3. city/2: city('New York', 1). city(London, 2). city(Warsaw, 3). listing Yes ?- city_usr('New York', User, ID). city_usr('New York', John, 1) ; city_usr('New York', Marry, 2) ; No ?-
There are other techniques, but that's the easiest.
As for why databases don't support Prolog, there are a variety of reasons for that. The primary reason is that DBMS don't really handle the relational model all that well. Queries frequently return bags instead of sets, SQL does not handle recursion well -- a core requirement of Prolog -- and Prolog allows lists, something databases also don't handle well for a single column.
Querying databases is something I would like to have in AI::Prolog, but in a more general nature. However, what if you've retrieved 15 out of 20 results and the engine backtracks over your function? You need to be able to add previous results to the AI::Prolog::KnowledgeBase and fetch them from there, if appropriate. Only if they are not found should subsequent results be pulled from the database.
To handle this, we'd need some way of registering external functions and having them call the correct primitive from AI::Prolog::Engine::Primitives (a primitive for external functions would need to be added). There's also the question of side effects. What happens when you backtrack over a predicate which deletes file? diotalevi and I have discussed much of this, but regrettably, I'm terribly busy at work and don't have time to work on this.
Cheers,
Ovid
New address of my CGI Course.
|
|---|
| Replies are listed 'Best First'. | |
|---|---|
|
Re^2: Query database in Prolog
by zby (Vicar) on Dec 29, 2005 at 21:31 UTC | |
by Ovid (Cardinal) on Dec 29, 2005 at 21:43 UTC |