Prolog and resolution strategies

From: alexander.stuckenholz@xxxxxxxxx
Date: 25 Oct 2005 03:42:57 -0700

Hello.

I'm using swi prolog in a project and i have some questions:
Which resolution strategy is implemented in swi prolog and how does the
time complexity look like?

Regards,

Alex

.

Prev by Date: Re: Prolog Execution Algorithm
Next by Date: Re: Prolog Execution Algorithm
Previous by thread: Prolog Execution Algorithm
Next by thread: CLACK CLACK CLACK - HEWLETT PACKARD FRAUD ALERT WARNING FROM HP PRINTER WHEN PRINTING FROM PROLOG (OR ANY OTHER LANGUAGE!!!)
Index(es):
- Date
- Thread

Relevant Pages

Capturing error line on exception (SWI)
... does anybody know how to get the error line of an error in swi prolog? ... but I realized that the stream associated with ... which fails). ... Prev by Date: ...
(comp.lang.prolog)
Re: Problem using module clp/bound under swiprolog
... Are you using the "bounds.pl" shipped with SWI Prolog? ... Best regards, ... Markus. ... Prev by Date: ...
(comp.lang.prolog)
Re: Non dominating queens problem
... > You are doing this in SWI Prolog right? ... > maximizing and SWI's clp/bounds doesn't have that yet. ... Prev by Date: ...
(comp.lang.prolog)
Re: Problem with compile_predicates/1 under SWI
... Dont know. ... Does this make the error disappear? ... > SWI Prolog version I use under WindowsServer2003+IIS6.0 is 5.4.7. ... Prev by Date: ...
(comp.lang.prolog)