delphi programming forums mysql charset mget recursive synonimos
free ventrilo servers hosting cs javascript delay python find in list
Back Forum New

Rank: 1
1# Jump to »
sql aspPost at 2010-5-22 04:04 | Show This Author's Posts Only
abstract:

The goal and the proof rule need to be sent from flash.. my initial idea is to to send these via php to the db, then somehow invoke a prolog app to do the processing.   Can anyone think of a better way of doing this?  Can data be sent straight from php to prolog and then returned? Do I need to even involve the database?  Can prolog access databases / interact with php?
Any advice  or tutorials very welcome. I've been googling but haven't come up with much.


Not sure which forum I should be posting in for this... but I'll give this one a try!
I have developed a flash presentation to teach proving techniques... parts of this (mainly the interactive quiz section) interface with a mysql database using php...
What I need to do now is write a simple theorem prover in prolog... which takes a proof rule and the goal to prove, and applies the rule to the goal, then prints out whether it works or not, and if it works, what the next goal to prove is...
The goal and the proof rule need to be sent from flash.. my initial idea is to to send these via php to the db, then somehow invoke a prolog app to do the processing.   Can anyone think of a better way of doing this?  Can data be sent straight from php to prolog and then returned? Do I need to even involve the database?  Can prolog access databases / interact with php?
Any advice  or tutorials very welcome. I've been googling but haven't come up with much.

TOP

Rank: 1
2#
M.HirschPost at 2010-5-22 04:04 | Show This Author's Posts Only
My first idea is to try and get a PROLOG interpreter that can work in a pipe, i.e. read the code from STDIN and write the program output to STDOUT (like php, perl, python, ...). Any that is available for unix
should
do the trick.
Then you can use popen() to run the interpreter in a sub-process from php, send input via fwrite() and read the output with fread().
I would not try to abstract the proof/goal part, instead create PROLOG code directly in php and write it to the pipe for execution.
The Flash applet can query the php pages then. These will run the PROLOG interpreter to evaluate the data sent from the Flash applet and return the results to the Flash applet for displaying.
Database? Not necessary so far
Hope this helps for a rough starting point,
M.

TOP

Rank: 1
3#
sql aspPost at 2010-5-22 04:04 | Show This Author's Posts Only
Hey thanks for you reply.
I've managed to get prolog running from php, and can pass data in and out. So just need to develop it a bit more!
Thanks again

TOP

Rank: 1
4#
hah1234567Post at 2010-5-22 04:04 | Show This Author's Posts Only
Hello everybody,
i want to develop expert system with prolog+php, but how can i install this platform? I'm very new in this, so could you talk about this topic in very detail?
thank you very much for the help!



The goal and the proof rule need to be sent from flash.. my initial idea is to to send these via php to the db, then somehow invoke a prolog app to do the processing.   Can anyone think of a better way of doing this?  Can data be sent straight from php to prolog and then returned? Do I need to even involve the database?  Can prolog access databases / interact with php?
Any advice  or tutorials very welcome. I've been googling but haven't come up with much.

TOP

Back Forum