Is there a way to make swi prolog print its currently working inference tree?

Posted by dmindreader on Stack Overflow See other posts from Stack Overflow or by dmindreader
Published on 2010-04-06T02:13:24Z Indexed on 2010/04/06 2:23 UTC
Read the original article Hit count: 343

Filed under:

swi-prolog

|

prolog

It would be a great help on my course.

© Stack Overflow or respective owner

Related posts about swi-prolog

Turning off warnings in swi-prolog

as seen on Stack Overflow - Search for 'Stack Overflow'
How Can I turn off warnings in swi-prolog. Clauses of XXX/AA are not together in the source-file is very annoying. >>> More
flushing database cache in SWI-Prolog

as seen on Stack Overflow - Search for 'Stack Overflow'
We are using swi-prolog to run our testcases. Whenever the test starts, I am opening the connection to MYSQL database and storing the Name of the Test hat is being done and then closing the DB. These tests run for about 2 days continuously. After the tests are done, the results basically gets stored… >>> More
SWI-Prolog tokenize_atom/2 replacement?

as seen on Stack Overflow - Search for 'Stack Overflow'
What I need to do is to break atom to tokens. E. g.: tokenize_string('Hello, World!', L). would unify L=['Hello',',','World','!']. Exactly as tokenize_atom/2 do. But when I try to use tokenize_atom/2 with non-latin letters it fails. Is there any universal replacement or how I can write one? Thanks… >>> More
calling batchfiles or exe's from swi-prolog

as seen on Stack Overflow - Search for 'Stack Overflow'
Is there anyway to do it? Thanks >>> More
SWI-Prolog as an embedded application in VS2008 C++

as seen on Stack Overflow - Search for 'Stack Overflow'
I have a C++ application (prog.sln) which is my main program and I want to use Prolog as an embedded logic server (hanoi.pl) int main(int argc, char** argv) { putenv( "SWI_HOME_DIR=C:\\Program Files\\pl" ); argv[0] = "libpl.dll"; argv[1] = "-x"; argv[2] = "hanoi.pl"; argv[3]… >>> More

Related posts about prolog

Prolog open source community, code repository,blogs,forums

as seen on Stack Overflow - Search for 'Stack Overflow'
I find useful groups.google.com/group/comp.lang.prolog/topics cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/ google.com/Top/Computers/Programming/Languages/Prolog/Implementations/ allisons.org/ll/Logic/Prolog/Examples/ prolog.info/ Maybe there are else useful links? Please share it :-) >>> More
Prolog - ASSERT and RETRACT

as seen on Stack Overflow - Search for 'Stack Overflow'
I was wondering, I am aware you can use assert to add facts or rules or whatever if you have declared the predicate to be -:dynamic, but this only allows the changes that are made to be kept in that session only, e.g. if you close the prolog window then the database changes are lost. So I was wondering… >>> More
Prolog : Simple question

as seen on Stack Overflow - Search for 'Stack Overflow'
I want to add any strings user entered into a list run :- write('How many students you have: '),read(x),nl. enterNameOfStudents(x). enterNameOfStudents(x) :- for(A, 1, x, 1),write('Please enter the names of students'),read(A),??????,nl,fail. What do i put in the ?????? portion to ensure… >>> More
Real world Prolog usage

as seen on Stack Overflow - Search for 'Stack Overflow'
Many study Prolog in college, but I have personally not come in contact with it professionally. The traditional examples given are AI and expert system applications, but what have you used it for and what made Prolog a suitable language for the task? >>> More
Simple question - XSB Prolog

as seen on Stack Overflow - Search for 'Stack Overflow'
Hello! I'm diving into the world of prolog headfirst but I seem to have hit shallow water! I'm looking at database manipulation in prolog with regards to this tutorial:Learn Prolog Now! It states that I can see my database by entering listing So i tried it and it should basically output everything… >>> More